scientific article; zbMATH DE number 1863168
From MaRDI portal
Publication:4791839
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Weighted Register Automata and Weighted Logic on Data Words ⋮ An algebraic approach to data languages and timed languages ⋮ Extending two-variable logic on data trees with order on data values and its automata ⋮ Unnamed Item ⋮ Weighted register automata and weighted logic on data words ⋮ Counting Multiplicity over Infinite Alphabets ⋮ Deterministic regular expressions with back-references ⋮ Equational theories for automata ⋮ A logical characterization of data languages.
This page was built for publication:
