Y. Gurevich: The Logic in Computer Science Column Generalized Quantifiers

被引：0
|
作者：
Vaeaenaenen, J.
机构：
来源：
Bulletin of the European Association for Theoretical Computer Science | / 62期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 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
    Gruünheid, Anja
    Kossmann, Donald
    Nushi, Besmira
    Bulletin of the European Association for Theoretical Computer Science, 2013, 111 : 88 - 96
  • [5] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Blass, Andreas
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2023, (141): : 7 - 10
  • [6] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Barak, Boaz
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2012, (108): : 130 - 142
  • [7] The logic in computer science column
    Urevich, Yuri
    Bulletin of the European Association for Theoretical Computer Science, 2021, 2021 (134):
  • [8] The logic in computer science column
    Gurevich, Yuri
    Bulletin of the European Association for Theoretical Computer Science, 2019, 2019 (127):
  • [9] The Logic in Computer Science Column
    Gurevich, Yuri
    Gurevich, Yuri (gurevich@umich.edu), 1600, European Association for Theoretical Computer Science (2021):
  • [10] Generalized Quantifiers in Dependence Logic
    Engström F.
    Journal of Logic, Language and Information, 2012, 21 (3) : 299 - 324
12345