Lazard s Elimination (in Traces) is Finite-State Recognizable

GĂ©rard Duchamp, Jean-Gabriel Luque. Lazard s Elimination (in Traces) is Finite-State Recognizable. IJAC, 17(1):53-60, 2007. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.