Searching for "Termination of Term Rewriting Interpretation and Type Elimination." – sorted by Relevance.
-
Termination of Term Rewriting: Interpretation and Type Elimination
- J. Symbolic Computation (1994) 11, 1--000 Termination of term rewriting: interpretation and type
- Cited by 79 (13 self) – Add To MetaCart
-
Fourth International Workshop on Termination WST '99
- . Termination of term rewriting: interpretation and type elimination. Journal of Symbolic Computation 17 (1994
- Add To MetaCart

