Lazard's elimination in traces is finite-state recognizable - Archive ouverte HAL Access content directly
Journal Articles International Journal of Algebra and Computation Year : 2007

Lazard's elimination in traces is finite-state recognizable

No file

Dates and versions

hal-00622736 , version 1 (12-09-2011)

Identifiers

  • HAL Id : hal-00622736 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More