Cargando…
Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
LNAI 5955.
Autor principal: | Puppis, Gabriele |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2010
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2758102 |
Ejemplares similares
-
Dynamic Data Structures for Timed Automata Acceptance
por: Grez, Alejandro, et al.
Publicado: (2022) -
Super-regularization of infinite products
por: Muñoz-García, E, et al.
Publicado: (2003) -
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
por: Löding, Christof, et al.
Publicado: (2020) -
Automata, languages, and machines
por: Eilenberg, Samuel, et al.
Publicado: (1976) -
The Infinite Retina
por: Cronin, Irena
Publicado: (2020)