Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Luca Torella

A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting

English