Second-Order Logic over Finite Structures – Report on a Research Programme

DOI10.1016/J.ENDM.2006.08.046zbMath1204.68179OpenAlexW2077223964WikidataQ59259668 ScholiaQ59259668MaRDI QIDQ3439520

Georg Gottlob

Publication date: 29 May 2007

Published in: Electronic Notes in Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.endm.2006.08.046

zbMATH Keywords

second-order logic over finite structures

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Model theory of finite structures (03C13)

Cites Work

• Unnamed Item
• Existential second-order logic over strings
• Existential second-order logic over graphs

This page was built for publication: Second-Order Logic over Finite Structures – Report on a Research Programme