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 条
  • [21] Recent developments of logic, computer science, and philosophy of science in Japan
    Sakamoto, H
    STRUCTURES AND NORMS IN SCIENCE: VOLUME TWO OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 260 : 473 - 480
  • [22] From logic to theoretical computer science - An update
    Trakhtenbrot, Boris A.
    PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 1 - 38
  • [23] Logic, Programming, and Computer Science: Local Perspectives
    De Mol, Liesbeth
    IEEE ANNALS OF THE HISTORY OF COMPUTING, 2021, 43 (04) : 5 - 9
  • [24] Symbioses between mathematical logic and computer science
    Blass, Andreas
    ANNALS OF PURE AND APPLIED LOGIC, 2016, 167 (10) : 868 - 878
  • [25] From universal logic to computer science, and back
    Diaconescu, Răzvan
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8687 : 1 - 16
  • [26] Logic, Algebra, and Geometry at the Foundation of Computer Science
    Hoare, Tony
    Mendes, Alexandra
    Ferreira, Joao F.
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 3 - 20
  • [27] What about Linear Logic in Computer Science?
    Mihalyi, Daniel
    Novitzka, Valerie
    ACTA POLYTECHNICA HUNGARICA, 2013, 10 (04) : 147 - 160
  • [28] Logic and Semantic Technologies for Computer Science Education
    Schreiner, Wolfgang
    2019 IEEE 15TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS (INFORMATICS 2019), 2019, : 415 - 420
  • [29] From Universal Logic to Computer Science, and Back
    Diaconescu, Razvan
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 2014, 8687 : 1 - 16
  • [30] Back to the future: Explicit logic for computer science
    Artemov, S
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 43 - 43
12345