An SOS Message: Conservative Extension in Higher-Order Positive/Negative Conditional Term Rewriting (1997)

Cached

Download Links

by Wan Fokkink , Chris Verhoef
Citations:1 - 1 self