Theoretical computer science - Logic, semantics and theory of programming - Preface

被引：0

作者：

Berger, U ^{[1
]}

Niggl, KH ^{[1
]}

Reus, B ^{[1
]}

机构：

[1] LMU Munchen, Fak Math & Informat, D-80538 Munich, Germany

来源：

THEORETICAL COMPUTER SCIENCE | 2001年 / 264卷 / 02期

关键词：

D O I：

10.1016/S0304-3975(00)00220-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：169 / 169

页数：1

共 50 条

[1] Theoretical Computer Science Logic, semantics and theory of programming Preface
Bethke, Inge
Ponse, Alban
Rodenburg, Piet H.
[J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) : 3033 - 3034
[2] Theoretical computer science - Logic, semantics and theory of programming
Cerone, A
Di Pierro, A
[J]. THEORETICAL COMPUTER SCIENCE, 2005, 346 (01) : 1 - 2
[3] Logic, semantics and theory of programming Preface
Mislove, Michael
[J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1899 - 1899
[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
Girard, JY
Okada, M
Scedrov, A
[J]. THEORETICAL COMPUTER SCIENCE, 1999, 227 (1-2) : 1 - 1
[9] Logic, semantics and theory of programming
Nijholt, A
Scollo, G
Mönnich, U
[J]. THEORETICAL COMPUTER SCIENCE, 2006, 354 (01) : 1 - 3
[10] Theoretical foundations and semantics of logic programming
Bossi A.
Meo M.C.
[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 15 - 36

← 1 2 3 4 5 →