Publication:4005178
From MaRDI portal
zbMath0757.68069MaRDI QIDQ4005178
Sándor Vágvölgyi, Zoltán Fülöp
Publication date: 27 September 1992
word problem; confluence; Church-Rosser property; congruence closure; theory of equality; ground term rewriting system
68Q42: Grammars and rewriting systems
Related Items
Bottom-up tree pushdown automata and rewrite systems, Symbol different term rewrite systems, A fast algorithm for constructing a tree automaton recognizing a congruential tree language, Intersection of finitely generated congruences over term algebra, Term rewriting restricted to ground terms., On ground tree transformations and congruences induced by tree automata., Congruential complements of ground term rewrite systems, Restricted ground tree transducers