Termination of on-demand rewriting and termination of OBJ programs (2001)

Cached

Download Links

by Salvador Lucas
Venue:In Proc. of 3rd International Conference on Principles and Practice of Declarative Programming, PPDP'01
Citations:30 - 20 self