scientific article

zbMath1270.68124MaRDI QIDQ2842873

Thomas Colcombet

Publication date: 16 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805322

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (3)

XML schema, tree logic and sheaves automata ⋮ Multitree automata that count ⋮ On Symbolic Verification of Weakly Extended PAD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The monadic second-order logic of graphs. IX: Machines and their behaviours
• The theory of ends, pushdown automata, and second-order logic
• Process rewrite systems.
• Semigroups, Presburger formulas, and languages
• The monadic second-order logic of graphs, II: Infinite graphs of bounded width
• An Algorithm for the General Petri Net Reachability Problem

This page was built for publication: