Searching for "Normalized Rewriting An Alternative to Rewriting Modulo a Set of Equations." – sorted by Relevance.
-
Normalized Rewriting: an alternative to Rewriting modulo a Set of Equations
- ! r at position Normalized Rewriting: an alternative to Rewriting modulo a Set of Equations 5 p 2
- Cited by 19 (0 self) – Add To MetaCart

