Special Issue The Symposium on Logical Foundations of Computer Science 2009 Preface

被引：0

作者：

Artemov, Sergei ^{[1
]}

Nerode, Anil ^{[2
]}

机构：

[1] CUNY, Grad Ctr, New York, NY 10016 USA

[2] Cornell Univ, Ithaca, NY 14853 USA

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2012年 / 163卷 / 07期

关键词：

D O I：

10.1016/j.apal.2011.09.020

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：743 / 744

页数：2

共 50 条

[1] Special Issue on Logical Foundations of Computer Science
Artemov, Sergei
Nerode, Anil
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 1 - 1
[2] Special Issue: Symposium on Computer Science Preface
Artemov, Sergei
Diekert, Volker
Razborov, Alexander
[J]. THEORY OF COMPUTING SYSTEMS, 2010, 46 (04) : 619 - 619
[3] Logical foundations of computer science - Preface
Adian, SI
[J]. THEORETICAL COMPUTER SCIENCE, 1999, 224 (1-2) : 1 - 1
[4] Special issue on Foundations of Computer Science
Dinur, Irit
Tardos, Eva
[J]. SIAM JOURNAL ON COMPUTING, 2008, 37 (06) : VII - VII
[5] Special Issue Papers presented at the Symposium on Logical Foundations of Computer Science 2007 Dedicated to Anil Nerode on the occasion of his 75th birthday Preface
Artemov, Sergei
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (03) : 251 - 252
[6] SYMPOSIUM - MATHEMATICAL FOUNDATIONS OF COMPUTER-SCIENCE - PREFACE
TIURYN, J
[J]. INFORMATION AND CONTROL, 1985, 67 (1-3): : 1 - 1
[7] SPECIAL SECTION ON THE FIFTIETH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2009)
Balcan, Maria Florina
Braverman, Mark
Spielman, Daniel A.
[J]. SIAM JOURNAL ON COMPUTING, 2013, 42 (06) : 2286 - 2286
[8] Special issue for the 39th International Symposium onMathematical Foundations of Computer Science, MFCS 2014, Budapest, Hungary Preface
Dietzfelbinger, Martin
[J]. INFORMATION AND COMPUTATION, 2017, 256 : 1 - 1
[9] Preface to the special issue: Computing with infinite data: topological and logical foundations
Berger, Ulrich
Brattka, Vasco
Selivanov, Victor
Spreen, Dieter
Tsuiki, Hideki
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (07) : 1463 - 1465
[10] Preface to the Special Issue on Philosophy in Computer Science
Leciejewski, Slawomir
[J]. FOUNDATIONS OF COMPUTING AND DECISION SCIENCES, 2019, 44 (01) : 3 - 9

← 1 2 3 4 5 →