scientific article; zbMATH DE number 2087211

zbMATH Open1073.03006MaRDI QIDQ4737894FDOQ4737894

Authors: Thomas Eiter, Georg Gottlob, Thomas Schwentick 

Publication date: 11 August 2004

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

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (5)

• Second-Order Logic over Finite Structures – Report on a Research Programme
• Automated Reasoning
• The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
• Title not available (Why is that?)
• Existential second-order logic over strings

This page was built for publication:

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