Searching for "Normalisation in Weakly Orthogonal Rewriting." – sorted by Relevance.
-
Normalisation in Weakly Orthogonal Rewriting
- Normalisation in weakly orthogonal rewriting Vincent van Oostrom, oostrom@(email omitted);, regular paper
- Cited by 8 (4 self) – Add To MetaCart

