CPO models for infinite term rewriting (1995)

Cached

Download Links

by Andrea Corradini , Fabio Gadducci
Venue:in Proc. AMAST'95, LNCS 936
Citations:10 - 7 self

Document Versions

CPO models for infinite term rewriting –Andrea Corradini, Fabio Gadducci — 1995 — in Proc. AMAST'95, LNCS 936