Searching for "Rewriting Techniques and Applications" – sorted by Relevance.
-
Higher-Order Rewriting
- international conference on rewriting techniques and applications (RTA'99). c flSpringer Verlag. 1 Introduction
- Cited by 15 (1 self) – Add To MetaCart
-
The RTA list of open problems
- of the International Conference on Rewriting Techniques and Applications (RTA). For the RTA 2002 conference, the topics
- Cited by 1 (0 self) – Add To MetaCart
-
Volume 1632 of
- on Rewriting Techniques and Applications, volume 1379 of Lecture Notes in Computer Science, pages 61
- Add To MetaCart
-
Intelligence, St. Petersburg, Russia, July 1992. Springer-Verlag. February 18, 1999. The RTA List of Open Problems
- . In Claude Kirchner, editor, 5th International Conference on Rewriting Techniques and Applications, volume
- Add To MetaCart
-
Normalization in λ-Calculus and Type Theory
- setting, but also offers new results and proof techniques, as well as a number of applications to problems
- Add To MetaCart
-
On Equal Terms. Implementing Algebraic Specifications
- rewriting systems in the development of software, one can basically have two applications in mind: ffl
- Cited by 23 (8 self) – Add To MetaCart
-
Applications, Volume 1103 of
- on Rewriting Techniques and Applications, volume 1103 of Lecture Notes in Computer Science, pages 276-286, New
- Add To MetaCart
-
Cv
- ideals over commutative Noetherian rings", Rewriting Techniques and Applications, Proceedings of the 8th
- Add To MetaCart
-
PROGRES, A Visual Language and Environment for PROgramming with Graph REwriting Systems
- Int. Conf. on Rewriting Techniques and Applications, LNCS 690, Berlin: Springer Verlag (1993), 451
- Cited by 4 (0 self) – Add To MetaCart
-
Stratego - An Annotated Bibliography
- . System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA
- Add To MetaCart

