Squaring transducers: An efficient procedure for deciding functionality and sequentiality - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Squaring transducers: An efficient procedure for deciding functionality and sequentiality

Marie-Pierre Béal
  • Fonction : Auteur
  • PersonId : 841350
Olivier Carton
Laboratoire d'Informatique Gaspard-Monge
CV
Christophe Prieur
CV
Jacques Sakarovitch

Domaines

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

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

https://hal.science/hal-00619851

Soumis le : mardi 6 septembre 2011-21:54:46

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

Fichier non déposé

Dates et versions

hal-00619851 , version 1 (06-09-2011)

Identifiants

  • HAL Id : hal-00619851 , version 1

Citer

Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch. Squaring transducers: An efficient procedure for deciding functionality and sequentiality. 4th Latin American Theoretical INformatics (LATIN'2000), Apr 2000, Punta del Este, Uruguay, Uruguay. pp.407-416. ⟨hal-00619851⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENPC CNRS UNIV-MLV LIGM_ALGO PARISTECH LIGM UNIV-EIFFEL JSE2024
147 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More