LOGIC, SEMANTICS AND THEORY OF PROGRAMMING - PREFACE

被引：0

|

作者：

DEZANICIANCAGLINI, M

DELLAROCCA, SR

VENTURINIZILLI, M

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1993年 / 121卷 / 1-2期

关键词：

D O I：

10.1016/0304-3975(93)90080-D

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：R11 / R12

页数：2

相关论文

共 50 条

[1] Logic, semantics and theory of programming Preface
Mislove, Michael
THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1899 - 1899
[2] Logic, semantics and theory of programming - Preface
Danvy, Olivier
O'Hearn, Peter
Wadler, Philip
THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 1 - 2
[3] Logic, semantics and theory of programming - Preface
Eiter, Thomas
Libkin, Leonid
THEORETICAL COMPUTER SCIENCE, 2007, 371 (03) : 147 - 147
[4] Logic, semantics and theory of programming - Preface
Rozenberg, G
THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 1 - 1
[5] Logic, semantics and theory of programming - Preface
Girard, JY
Okada, M
Scedrov, A
THEORETICAL COMPUTER SCIENCE, 1999, 227 (1-2) : 1 - 1
[6] Theoretical Computer Science Logic, semantics and theory of programming Preface
Bethke, Inge
Ponse, Alban
Rodenburg, Piet H.
THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) : 3033 - 3034
[7] Theoretical computer science - Logic, semantics and theory of programming - Preface
Berger, U
Niggl, KH
Reus, B
THEORETICAL COMPUTER SCIENCE, 2001, 264 (02) : 169 - 169
[8] Logic, semantics and theory of programming
Nijholt, A
Scollo, G
Mönnich, U
THEORETICAL COMPUTER SCIENCE, 2006, 354 (01) : 1 - 3
[9] Logic, semantics and theory of programming Foreword
Kopperman, Ralph
Panangaden, Prakash
Smyth, Michael B.
Spreen, Dieter
THEORETICAL COMPUTER SCIENCE, 2008, 405 (1-2) : 1 - 2
[10] Logic, semantics and theory of programming -: Foreword
Le Métayer, D
THEORETICAL COMPUTER SCIENCE, 2000, 240 (01) : 1 - 2

← 1 2 3 4 5 →