A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups.

Jean-Marc Champarnaud

Browse the full STACS paper archive.