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

DOI10.1016/J.ENDM.2006.08.046MaRDI QIDQ3439520zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Cites work

• Existential second-order logic over graphs: charting the tractability frontier
• Existential second-order logic over strings
• scientific article; zbMATH DE number 2087211 (Why is no real title available?)

Cited in

(2)

• Second-Order Equational Logic (Extended Abstract)
• Characterization of Lee-Yang polynomials

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3439520)