Special Issue on Logical Foundations of Computer Science

被引：0

|

作者：

Artemov, Sergei

Nerode, Anil

机构：

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2020年 / 30卷 / 01期

关键词：

D O I：

10.1093/logcom/exaa026

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1 / 1

页数：1

相关论文

共 50 条

[1] Special Issue The Symposium on Logical Foundations of Computer Science 2009 Preface
Artemov, Sergei
Nerode, Anil
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (07) : 743 - 744
[2] Special issue on Foundations of Computer Science
Dinur, Irit
Tardos, Eva
[J]. SIAM JOURNAL ON COMPUTING, 2008, 37 (06) : VII - VII
[3] Logical foundations of computer science - Preface
Adian, SI
[J]. THEORETICAL COMPUTER SCIENCE, 1999, 224 (1-2) : 1 - 1
[4] Special Section on Foundations of Computer Science - Foundations of Computer Science and their New Trends -
Kawachi, Akinori
Kawahara, Jun
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2024, E107D (03) : 277 - 277
[5] SPECIAL SECTION ON FOUNDATIONS OF COMPUTER SCIENCE
Aaronson, Scott
Erickson, Jeff
Mahdian, Mohammad
Ravi, R.
Viola, Emanuele
[J]. SIAM JOURNAL ON COMPUTING, 2011, 40 (03) : 770 - 770
[6] Special section on Foundations of Computer Science
Iwamoto, Chuzo
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2008, E91D (02) : 161 - 161
[7] Special section on Foundations of Computer Science
Asano, T
Nakano, K
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (02): : 279 - 280
[8] Logicism renewed: Logical foundations for mathematics and computer science
Kamareddine, Fairouz
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 2008, 29 (03) : 281 - 287
[9] SPECIAL SECTION ON FOUNDATIONS OF COMPUTER SCIENCE
Andrews, Matthew
Nayak, Ashwin
Rajaraman, Rajmohan
[J]. SIAM JOURNAL ON COMPUTING, 2009, 39 (02) : 545 - 545
[10] SPECIAL SECTION ON FOUNDATIONS OF COMPUTER SCIENCE
Lee, James R.
Umans, Chris
[J]. SIAM JOURNAL ON COMPUTING, 2010, 39 (06) : 2397 - 2397

← 1 2 3 4 5 →