scientific article
From MaRDI portal
Publication:3468622
zbMath0693.68046MaRDI QIDQ3468622
Sándor Vágvölgyi, Zoltán Fülöp
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Linear generalized semi-monadic rewrite systems effectively preserve recognizability ⋮ Intersection of finitely generated congruences over term algebra ⋮ Term rewriting restricted to ground terms. ⋮ A fast algorithm for constructing a tree automaton recognizing a congruential tree language ⋮ Congruential complements of ground term rewrite systems ⋮ Restricted ground tree transducers ⋮ Derivation trees of ground term rewriting systems.
