Arity and alternation in second-order logic (vol 78, pg 189, 1996)

被引：0
|
作者：
Makowsky, JA
Pnueli, YB
机构：
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1998年 / 92卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：215 / 215
页数：1
相关论文
共 50 条
  • [31] Circle graphs and monadic second-order logic
    LaBRI, Université Bordeaux 1, CNRS, 351 Cours de la libération, 33405 Talence Cedex, France
    Journal of Applied Logic, 2008, 6 (03) : 416 - 442
  • [32] Monadic Second-Order Logic on Finite Sequences
    D'Antoni, Loris
    Veanes, Margus
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 232 - 245
  • [33] SOGrounder: Modelling and Solving Second-Order Logic
    van der Hallen, Matthias
    Janssens, Gerda
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 72 - 76
  • [34] Boolean-Valued Second-Order Logic
    Ikegami, Daisuke
    Vaananen, Jouko
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (01) : 167 - 190
  • [35] Existential second-order logic over strings
    Eiter, T
    Gottlob, G
    Gurevich, Y
    JOURNAL OF THE ACM, 2000, 47 (01) : 77 - 131
  • [36] A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic
    Sorensen, Morten H.
    Urzyczyn, Pawel
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (04) : 457 - 473
  • [37] On translations of temporal logic of actions into monadic second-order logic
    Rabinovich, A
    THEORETICAL COMPUTER SCIENCE, 1998, 193 (1-2) : 197 - 214
  • [38] From finitary to infinitary second-order logic
    Weaver, G
    Penev, I
    MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (05) : 499 - 506
  • [39] ON THE PARAMETERIZED INTRACTABILITY OF MONADIC SECOND-ORDER LOGIC
    Kreutzer, Stephan
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (01)
  • [40] Decision problems for second-order linear logic
    Lincoln, PD
    Scedrov, A
    Shankar, N
    LOGIC AND SCIENTIFIC METHODS: VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 259 : 127 - 143
12345