The oe-oe-rule terminates. Private communication (1996)

by H Zantema
Venue:PhD, Eindhoven University of Technology
Add To MetaCart
Results 1 - 1 of 1

Preservation of Termination for Explicit Substitution

by Carolus Johannes Bloo , 1997
"... ..."
Abstract - Cited by 38 (1 self) - Add to MetaCart
Abstract not found