scientific article; zbMATH DE number 1405449

zbMath0980.68059MaRDI QIDQ4938423

Pierre Réty

Publication date: 22 February 2002

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

zbMATH Keywords

tree automataterm rewriting

Mathematics Subject Classification ID

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

Related Items

Unnamed Item ⋮ Tree automata for rewrite strategies ⋮ Reachability analysis over term rewriting systems ⋮ Termination criteria for tree automata completion