Login / Signup

Automata for Reduction Properties Solving.

Max DauchetAnne-Cécile CaronJean-Luc Coquidé
Published in: J. Symb. Comput. (1995)
Keyphrases