The logic in computer science column

被引：0

作者：

Gurevich, Yuri ^{[1
]}

Gruünheid, Anja ^{[2
]}

Kossmann, Donald ^{[2
]}

Nushi, Besmira ^{[2
]}

机构：

[1] Microsoft Research, One Microsoft Way, Redmond WA 98052, United States

[2] ETH Zürich, Switzerland

来源：

Bulletin of the European Association for Theoretical Computer Science | 2013年 / 111卷

关键词：

Computation theory;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

下载

页码：88 / 96

共 50 条

[1] THE LOGIC IN COMPUTER SCIENCE COLUMN
Gurevich, Yuri
Blass, Andreas
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2024, (143): : 39 - 55
[2] The logic in computer science column
Gurevich, Yuri
Bulletin of the European Association for Theoretical Computer Science, 2014, (113):
[3] THE LOGIC IN COMPUTER SCIENCE COLUMN
Gurevich, Yuri
Oberhoff, Sebastian
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2019, (128): : 91 - 105
[4] THE LOGIC IN COMPUTER SCIENCE COLUMN
Gurevich, Yuri
Blass, Andreas
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2023, (141): : 7 - 10
[5] THE LOGIC IN COMPUTER SCIENCE COLUMN
Gurevich, Yuri
Barak, Boaz
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2012, (108): : 130 - 142
[6] The logic in computer science column
Urevich, Yuri
Bulletin of the European Association for Theoretical Computer Science, 2021, 2021 (134):
[7] The logic in computer science column
Gurevich, Yuri
Bulletin of the European Association for Theoretical Computer Science, 2019, 2019 (127):
[8] The Logic in Computer Science Column
Gurevich, Yuri
Gurevich, Yuri (gurevich@umich.edu), 1600, European Association for Theoretical Computer Science (2021):
[9] Y. Gurevich: The Logic in Computer Science Column Generalized Quantifiers
Vaeaenaenen, J.
Bulletin of the European Association for Theoretical Computer Science, (62):
[10] LOGIC IN COMPUTER SCIENCE
Serna, Edgar M.
REVISTA EDUCACION EN INGENIERIA, 2013, 8 (15): : 62 - 68

← 1 2 3 4 5 →