scientific article

zbMath1270.68140MaRDI QIDQ2843614

Julie Vuotto, Pierre Réty

Publication date: 23 August 2013

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

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 (3)

Tree automata for rewrite strategies ⋮ A theoretical limit for safety verification techniques with regular fix-point computations ⋮ Handling Left-Quadratic Rules When Completing Tree Automata

This page was built for publication: