scientific article; zbMATH DE number 2087211
From MaRDI portal
Publication:4737894
zbMath1073.03006MaRDI QIDQ4737894
Thomas Eiter, Thomas Schwentick, Georg Gottlob
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2295/22950037.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85) Descriptive complexity and finite models (68Q19)
Related Items (2)
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey ⋮ Second-Order Logic over Finite Structures – Report on a Research Programme
This page was built for publication:
