Searching for "Termination of Rewriting with Local Strategies." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Termination of Rewriting with Local Strategies
- …Termination of rewriting with local strategies Olivier Fissore, Isabelle Gnaedig, Helene Kirchner…
- Cited by 7 (2 self) – Add To MetaCart
-
Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)
- … : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 20 Richard B. Kieburtz Termination of Rewriting with Local Strategies…
- Add To MetaCart
Showing 1 through 2.
