Searching for "Rewriting Techniques and Applications" – sorted by Relevance.
57 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
