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]

Abstract

Abstract is missing.