Rewriting Techniques and Applications
ABCD PBi
Rewriting Techniques and Applications
Autor:
International Conference on Rewriting Techniques and Applications
Aart Middeldorp
Editor:
Springer Berlin Heidelberg
Data de criação/publicação:
2001
Idioma:
Inglês