Lazard's elimination in traces is finite-state recognizable - Archive ouverte HAL
Article Dans Une Revue International Journal of Algebra and Computation Année : 2007

Lazard's elimination in traces is finite-state recognizable

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00622736 , version 1

Citer

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⟩
48 Consultations
0 Téléchargements

Partager

More