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

Logic in computer science (03B70) Model theory of finite structures (03C13) 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)

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