scientific article; zbMATH DE number 749931

zbMath0824.68076MaRDI QIDQ4764112

Dexter Kozen

Publication date: 1 May 1995

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

zbMATH Keywords

term rewrite systempartial automata

Mathematics Subject Classification ID

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

Related Items

Fast algorithms for testing unsatisfiability of ground Horn clauses with equations, The word and generator problems for lattices, Unification theory, Intersection of finitely generated congruences over term algebra, On ground tree transformations and congruences induced by tree automata., Rigid E-unification: NP-completeness and applications to equational matings, Complete sets of transformations for general E-unification, Congruential complements of ground term rewrite systems