The Logic in Computer Science Column

被引：0

|

作者：

Gurevich, Yuri ^{[1
]}

机构：

[1] Gurevich, Yuri

来源：

Gurevich, Yuri (gurevich@umich.edu) | 1600年 / European Association for Theoretical Computer Science卷 / 2021期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] Special issue on deontic logic in computer science - Preface
Demolombe, R
Hilpinen, R
FUNDAMENTA INFORMATICAE, 2001, 48 (2-3) : I - II
[42] Personal Reflections on the Role of Mathematical Logic in Computer Science
Kfoury, Assaf
FUNDAMENTA INFORMATICAE, 2019, 170 (1-3) : 207 - 221
[43] Special issue: Computer science applications of modal logic
Shehtman, Valentin
JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (05) : 539 - 539
[44] Handbook of logic in computer science, vol. 5, Logic and algebraic methods
White, G
HISTORY AND PHILOSOPHY OF LOGIC, 2002, 23 (02) : 135 - 137
[45] Keeping logic in the trivium of computer science: a teaching perspective
Makowsky, J. A.
Zamansky, A.
FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (02) : 419 - 430
[46] Ewa Orlowska on Relational Methods in Logic and Computer Science
Rewitzky, Ingrid
STUDIA LOGICA, 2021, 109 (02) : 443 - 445
[47] Panelist position statement: logic and models in computer science
Martin, U
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2005, 363 (1835): : 2397 - 2399
[48] Logic and science: science and logic
Rossberg, Marcus
Shapiro, Stewart
SYNTHESE, 2021, 199 (3-4) : 6429 - 6454
[49] Logic and science: science and logic
Marcus Rossberg
Stewart Shapiro
Synthese, 2021, 199 : 6429 - 6454
[50] Theoretical Computer Science Logic, semantics and theory of programming Preface
Bethke, Inge
Ponse, Alban
Rodenburg, Piet H.
THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) : 3033 - 3034

← 1 2 3 4 5 →