Logic, semantics and theory of programming -: Foreword

被引：0

作者：

Le Métayer, D ^{[1
]}

机构：

[1] INRIA, IRISA, F-35042 Rennes, France

来源：

THEORETICAL COMPUTER SCIENCE | 2000年 / 240卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 2

页数：2

共 50 条

[1] Logic, semantics and theory of programming Foreword
Kopperman, Ralph
Panangaden, Prakash
Smyth, Michael B.
Spreen, Dieter
[J]. THEORETICAL COMPUTER SCIENCE, 2008, 405 (1-2) : 1 - 2
[2] Logic, semantics and theory of programming Foreword
Falaschi, Moreno
Gabbrielli, Maurizio
Palamidessi, Catuscia
[J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (46) : 4601 - 4602
[3] Logic, semantics and theory of programming
Nijholt, A
Scollo, G
Mönnich, U
[J]. THEORETICAL COMPUTER SCIENCE, 2006, 354 (01) : 1 - 3
[4] Logic, semantics and theory of programming - Preface
Danvy, Olivier
O'Hearn, Peter
Wadler, Philip
[J]. THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 1 - 2
[5] LOGIC, SEMANTICS AND THEORY OF PROGRAMMING - PREFACE
DEZANICIANCAGLINI, M
DELLAROCCA, SR
VENTURINIZILLI, M
[J]. THEORETICAL COMPUTER SCIENCE, 1993, 121 (1-2) : R11 - R12
[6] Logic, semantics and theory of programming - Preface
Rozenberg, G
[J]. THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 1 - 1
[7] Logic, semantics and theory of programming - Preface
Eiter, Thomas
Libkin, Leonid
[J]. THEORETICAL COMPUTER SCIENCE, 2007, 371 (03) : 147 - 147
[8] Logic, semantics and theory of programming Preface
Mislove, Michael
[J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1899 - 1899
[9] Logic, semantics and theory of programming - Preface
Girard, JY
Okada, M
Scedrov, A
[J]. THEORETICAL COMPUTER SCIENCE, 1999, 227 (1-2) : 1 - 1
[10] Theoretical computer science - Logic, semantics and theory of programming
Cerone, A
Di Pierro, A
[J]. THEORETICAL COMPUTER SCIENCE, 2005, 346 (01) : 1 - 2

← 1 2 3 4 5 →