Skip to Main content Skip to Navigation
Journal articles

Lazard's elimination in traces is finite-state recognizable

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00622736
Contributor : Jean-Gabriel Luque Connect in order to contact the contributor
Submitted on : Monday, September 12, 2011 - 4:24:34 PM
Last modification on : Thursday, September 29, 2022 - 2:21:15 PM

Identifiers

  • HAL Id : hal-00622736, version 1

Citation

G. Duchamp, Jean-Gabriel Luque. Lazard's elimination in traces is finite-state recognizable. International Journal of Algebra and Computation, World Scientific Publishing, 2007, 17 (1), 10pp. ⟨hal-00622736⟩

Share

Metrics

Record views

42