Searching for "Interaction Nets and Term-Rewriting Systems." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Interaction Nets and Term Rewriting Systems
- …Interaction Nets and Term Rewriting Systems Maribel Fern'andez DMI - LIENS (CNRS URA 1327) ' Ecole…
- Cited by 9 (6 self) – Add To MetaCart
-
Type Assignment and Termination of Interaction Nets
- … function from (a class of) interaction nets to term rewriting systems defined in [14] preserves types…
- Cited by 5 (4 self) – Add To MetaCart
-
From Term Rewriting to Generalised Interaction Nets
- … from interaction nets to various classes of term rewriting systems, and studied various properties…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 3.
