Publication:2770673
From MaRDI portal
zbMath0981.68085MaRDI QIDQ2770673
Publication date: 13 February 2002
68Q45: Formal languages and automata
Related Items
Varieties of recognizable tree series over fields, Axiomatizing the equational theory of regular tree languages, Tree algebras and varieties of tree languages, Graph automata, Algebraic recognizability of regular tree languages, Characterizing CTL-like logics on finite trees., Positive varieties of tree languages