Squaring transducers: An efficient procedure for deciding functionality and sequentiality

Document type :
Journal articles
Complete list of metadatas

https://hal-upec-upem.archives-ouvertes.fr/hal-00619218
Contributor : Marie-Pierre Béal <>
Submitted on : Monday, September 5, 2011 - 6:00:21 PM
Last modification on : Thursday, October 17, 2019 - 12:36:06 PM

Identifiers

  • HAL Id : hal-00619218, version 1

Citation

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

Share

Metrics

Record views

354