Squaring transducers: An efficient procedure for deciding functionality and sequentiality - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Article Dans Une Revue Theoretical Computer Science Année : 2003

Squaring transducers: An efficient procedure for deciding functionality and sequentiality

(1) , (2) , (2) , (3)

1
2
3

Marie-Pierre Béal

Fonction : Auteur
PersonId : 841350

Laboratoire d'Informatique Gaspard-Monge

Olivier Carton

Fonction : Auteur
PersonId : 836550
IdHAL : olivier-carton
ORCID : 0000-0002-2728-6534

Laboratoire d'informatique Algorithmique : Fondements et Applications

Christophe Prieur

Fonction : Auteur
PersonId : 1109
IdHAL : christophe-prieur
ORCID : 0000-0002-4456-2019
IdRef : 060559497

Laboratoire d'informatique Algorithmique : Fondements et Applications

Jacques Sakarovitch

Fonction : Auteur
PersonId : 753775
IdHAL : jacques-sakarovitch

Laboratoire Traitement et Communication de l'Information

Domaines

Algorithme et structure de données [cs.DS]

Marie-Pierre Béal : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00619218

Soumis le : lundi 5 septembre 2011-18:00:21

Dernière modification le : jeudi 28 mars 2024-03:27:34

Dates et versions

hal-00619218 , version 1 (05-09-2011)

Identifiants

HAL Id : hal-00619218 , version 1

Citer

Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch. Squaring transducers: An efficient procedure for deciding functionality and sequentiality. Theoretical Computer Science, 2003, 292 (1), pp.45-63. ⟨hal-00619218⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 INSTITUT-TELECOM ENPC CNRS UNIV-MLV LIAFA LIGM_ALGO PARISTECH LIGM LTCI I3-TPT SES SID UNIV-EIFFEL NOS JSE2024

186 Consultations

0 Téléchargements

Partager