scientific article; zbMATH DE number 1290983

zbMATH Open0919.03004MaRDI QIDQ4241260

Ina Schiering

Publication date: 25 May 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

expressive powergraph decompositionsexistential monadic second-order logicquantifier alternationformation of clustersfinite-state acceptors over graphshierarchical automatamonadic second-order logic over graphs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Graph theory (05C99)

Related Items (1)

The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability

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)