Login / Signup

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

Jean-Marc Champarnaud
Published in: STACS (1992)
Keyphrases