Mathematical Foundations of Computer Science 2005

DOI10.1007/11549345MaRDI QIDQ5492877zbMATH OpenOpenAlexFDO

Authors Martin Grohe, Stephan Kreutzer, Nicole Schweikardt

Publication date 20 October 2006

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

Full work available at URL https://doi.org/10.1007/11549345

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic in computer science (03B70) Descriptive complexity and finite models (68Q19)

Recommendations

• Fixed Point Logics
• Undecidability results on two-variable logics
• scientific article; zbMATH DE number 1302492
• On the expressive power of monadic least fixed point logic
• The expressive power of fixed-point logic with counting

Cited in

(5)

• scientific article; zbMATH DE number 1775408 (Why is no real title available?)
• Automata, Languages and Programming
• Dimension Versus Number of Variables, and Connectivity, too
• On the expressive power of monadic least fixed point logic
• An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic

This page was built for publication: Mathematical Foundations of Computer Science 2005

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