scientific article; zbMATH DE number 1290983
From MaRDI portal
Publication:4241260
zbMATH Open0919.03004MaRDI QIDQ4241260
Publication date: 25 May 1999
Title of this publication is not available (Why is that?)
expressive powergraph decompositionsexistential monadic second-order logicquantifier alternationformation of clustersfinite-state acceptors over graphshierarchical automatamonadic second-order logic over graphs
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Graph theory (05C99)
Related Items (1)
Recommendations
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Monadic second-order logic, graph coverings and unfoldings of transition systems π π
- The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs π π
- Monadic second order logic on graphs with local cardinality constraints π π
- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects π π
- Monadic Second Order Logic on Graphs with Local Cardinality Constraints π π
- Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications π π
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 Q4241260)