Skip to Main content Skip to Navigation
Conference papers

Squaring transducers: An efficient procedure for deciding functionality and sequentiality

Marie-Pierre Béal Olivier Carton 1 Christophe Prieur Jacques Sakarovitch 
1 LIGM - Laboratoire d'Informatique Gaspard-Monge
Document type :
Conference papers
Complete list of metadata
https://hal-upec-upem.archives-ouvertes.fr/hal-00619851
Contributor : Marie-Pierre Béal Connect in order to contact the contributor
Submitted on : Tuesday, September 6, 2011 - 9:54:46 PM
Last modification on : Tuesday, April 5, 2022 - 12:02:02 PM

Identifiers

  • HAL Id : hal-00619851, version 1

Collections

ENPC | UPEC-UPEM | CNRS | UNIV-MLV | LIGM_ALGO | PARISTECH | LIGM

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

143