Resultados da busca - Bachmair, Leo

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Outros Autores: “…Bachmair, Leo…”