You are here

Home

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

created with Drupal | customized by Giovanni Bacci