scientific article
From MaRDI portal
Publication:4005178
zbMath0757.68069MaRDI QIDQ4005178
Sándor Vágvölgyi, Zoltán Fülöp
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
word problemconfluenceChurch-Rosser propertycongruence closuretheory of equalityground term rewriting system
Related Items (8)
Bottom-up tree pushdown automata and rewrite systems ⋮ Intersection of finitely generated congruences over term algebra ⋮ Term rewriting restricted to ground terms. ⋮ On ground tree transformations and congruences induced by tree automata. ⋮ Symbol different term rewrite systems ⋮ A fast algorithm for constructing a tree automaton recognizing a congruential tree language ⋮ Congruential complements of ground term rewrite systems ⋮ Restricted ground tree transducers
This page was built for publication:
