A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting
COMINI, Marco
•
TORELLA, Luca
2013
Periodico
EASYCHAIR PROCEEDINGS IN COMPUTING
Archivio
Diritti
metadata only access