Automatic Inference of Term Equivalence in Term Rewriting Systems
COMINI, Marco
•
TORELLA, Luca
2013
Periodico
EASYCHAIR PROCEEDINGS IN COMPUTING
Archivio
Diritti
metadata only access