Publication:4412098
From MaRDI portal
zbMath1015.03025MaRDI QIDQ4412098
Publication date: 13 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2450/24500043.htm
68Q70: Algebraic theory of languages and automata
20M35: Semigroups in automata theory, linguistics, etc.
03B44: Temporal logic
Related Items
Actions, wreath products of \(\mathcal C\)-varieties and concatenation product., Characterizing CTL-like logics on finite trees., Duality and Equational Theory of Regular Languages, Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups, A Robust Class of Regular Languages