You are here

Home

Publications

Export 1 results:
Filters: Keyword is semantics-based inference methods and Author is Luca Torella  [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