Logic, semantics and theory of programming Preface

被引：0

|

作者：

Mislove, Michael ^{[1
]}

机构：

[1] Tulane Univ, Dept Math, New Orleans, LA 70118 USA

来源：

THEORETICAL COMPUTER SCIENCE | 2010年 / 411卷 / 19期

关键词：

D O I：

10.1016/j.tcs.2010.01.020

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1899 / 1899

页数：1

相关论文

共 50 条

[1] Logic, semantics and theory of programming - Preface
Danvy, Olivier
O'Hearn, Peter
Wadler, Philip
[J]. THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 1 - 2
[2] LOGIC, SEMANTICS AND THEORY OF PROGRAMMING - PREFACE
DEZANICIANCAGLINI, M
DELLAROCCA, SR
VENTURINIZILLI, M
[J]. THEORETICAL COMPUTER SCIENCE, 1993, 121 (1-2) : R11 - R12
[3] Logic, semantics and theory of programming - Preface
Rozenberg, G
[J]. THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 1 - 1
[4] Logic, semantics and theory of programming - Preface
Eiter, Thomas
Libkin, Leonid
[J]. THEORETICAL COMPUTER SCIENCE, 2007, 371 (03) : 147 - 147
[5] Logic, semantics and theory of programming - Preface
Girard, JY
Okada, M
Scedrov, A
[J]. 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.
[J]. 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
[J]. THEORETICAL COMPUTER SCIENCE, 2001, 264 (02) : 169 - 169
[8] Logic, semantics and theory of programming
Nijholt, A
Scollo, G
Mönnich, U
[J]. 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
[J]. THEORETICAL COMPUTER SCIENCE, 2008, 405 (1-2) : 1 - 2
[10] Logic, semantics and theory of programming -: Foreword
Le Métayer, D
[J]. THEORETICAL COMPUTER SCIENCE, 2000, 240 (01) : 1 - 2

← 1 2 3 4 5 →