Second-order logic over strings: Regular and non-regular fragments

DOI10.1007/3-540-46011-X_4MaRDI QIDQ4737894zbMATH OpenFDO

Authors Thomas Eiter, Georg Gottlob, Thomas Schwentick

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2295/22950037.htm

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85) Automata and formal grammars in connection with logical questions (03D05) Descriptive complexity and finite models (68Q19) Formal languages and automata (68Q45)

Recommendations

• Existential second-order logic over strings
• The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
• Automated Reasoning

Cited in

(5)

• Second-Order Logic over Finite Structures – Report on a Research Programme
• The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
• Existential second-order logic over strings
• scientific article; zbMATH DE number 1519892 (Why is no real title available?)
• Automated Reasoning

This page was built for publication: Second-order logic over strings: Regular and non-regular fragments

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