You are here

Home

Publications

Export 1 results:
Filters: Author is Luca Torella and Keyword is semantics-based inference methods  [Clear All Filters]
2013
M. Comini and Torella, L., “A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting”. 2013.

created with Drupal | customized by Giovanni Bacci