scientific article

zbMath1272.68178MaRDI QIDQ2849582

Irène Durand

Publication date: 20 September 2013

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items

Automata for the verification of monadic second-order graph properties, Practical algorithms for MSO model-checking on tree-decomposable graphs, Fly-Automata, Their Properties and Applications, Autowrite

Uses Software

• Timbuk
• McCLIM