Preservation of Termination for Explicit Substitution (1997)

Cached

Download Links

by Carolus Johannes Bloo
Citations:41 - 1 self

Document Versions

Preservation of Termination for Explicit Substitution –Carolus Johannes Bloo — 1997