Mathematical Foundations of Computer Science 2005

DOI10.1007/11549345zbMATH Open1156.03329OpenAlexW2494705596MaRDI QIDQ5492877FDOQ5492877

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• 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)