Publication:4791839
From MaRDI portal
zbMath1006.68078MaRDI QIDQ4791839
Denis Thérien, Patricia Bouyer, Antoine Petit
Publication date: 3 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540248.htm
68Q45: Formal languages and automata
68Q70: Algebraic theory of languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Extending two-variable logic on data trees with order on data values and its automata, An algebraic approach to data languages and timed languages, Weighted register automata and weighted logic on data words, A logical characterization of data languages., Equational theories for automata, Deterministic regular expressions with back-references, Unnamed Item, Weighted Register Automata and Weighted Logic on Data Words, Counting Multiplicity over Infinite Alphabets