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 条

[31] Proceedings - Symposium on Logic in Computer Science: Foreword
Jouannaud, Jean-Pierre
Proceedings - Symposium on Logic in Computer Science, 2010,
[32] Mathematical Logic and Deduction in Computer Science Education
Habiballa, Hashim
Kmet, Tibor
INFORMATICS IN EDUCATION, 2008, 7 (01): : 75 - 90
[33] The impact of the lambda calculus in logic and computer science
Barendregt, H
BULLETIN OF SYMBOLIC LOGIC, 1997, 3 (02) : 181 - 215
[34] Science-technology coupling: The case of mathematical logic and computer science
WagnerDobler, R
JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1997, 48 (02): : 171 - 183
[35] Theoretical computer science - Logic, semantics and theory of programming
Cerone, A
Di Pierro, A
THEORETICAL COMPUTER SCIENCE, 2005, 346 (01) : 1 - 2
[36] Keeping logic in the trivium of computer science: a teaching perspective
J. A. Makowsky
A. Zamansky
Formal Methods in System Design, 2017, 51 : 419 - 430
[37] PARTIAL-PREDICATE LOGIC IN COMPUTER-SCIENCE
HOOGEWIJS, A
ACTA INFORMATICA, 1987, 24 (04) : 381 - 393
[38] Third international workshop on deontic logic in computer science
Brown, MA
Carno, J
KNOWLEDGE ENGINEERING REVIEW, 1996, 11 (03): : 289 - 292
[39] Logic in Computer Science: Modelling and Reasoning About Systems
Valentin Goranko
Journal of Logic, Language and Information, 2007, 16 (1) : 117 - 120
[40] A TWIST OF LOGIC - FROM MATHEMATICS TO COMPUTER-SCIENCE
ARRIETAURTIZBEREA, A
ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 1995, 151 (596) : 87 - 106

← 1 2 3 4 5 →