Searching for "A Logic for Rewriting Strategies." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A Logic for Rewriting Strategies
- …A Logic for Rewriting Strategies 1 Richard B. Kieburtz Oregon Graduate Institute 20000 N…
- Add To MetaCart
-
A Logic for Rewriting Strategies
- …1 Introduction A Logic for Rewriting Strategies 1 Richard B. Kieburtz Oregon Graduate Institute…
- Cited by 1 (0 self) – Add To MetaCart
-
Stratego - An Annotated Bibliography
- …. References [1] E. Visser. Stratego: A language for program transformation based on rewriting strategies…
- Add To MetaCart
-
Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)
- …) : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 Wolfgang Goerigk A Logic for Rewriting Strategies…
- Add To MetaCart
Showing 1 through 4.
