Searching for "Rewriting logic and its applications." – sorted by Relevance.
-
Reflection in Rewriting Logic and its Applications in the Maude Language
- Reflection in Rewriting Logic and its Applications in the Maude Language Manuel Clavel and Jos
- Cited by 2 (1 self) – Add To MetaCart
-
ASF+SDF Parsing Tools Applied to ELAN
- , intermediate format Note: To appear in Proceedings of Third International Workshop on Rewriting Logic and its
- Cited by 8 (2 self) – Add To MetaCart
-
SEN-R0029 November 30, 2000
- in Proceedings of Third International Workshop on Rewriting Logic and its Applications (WRLA'2000), 2000 Note
- Add To MetaCart
-
Proc. Workshop on Strategies in Automated Deduction
- of Maude. In J. Meseguer, editor, Proc. First Intl. Workshop on Rewriting Logic and its Applications
- Add To MetaCart
-
Stratego - An Annotated Bibliography
- . In C. Kirchner and H. Kirchner, editors, Second International Workshop on Rewriting Logic and its
- Add To MetaCart
-
Date of birth 30.01.1975, Pinneberg Nationality German
- International Workshop on Rewriting Logic and its Applications (WRLA 2008). Refereeing and reviewing Marcel Kyas
- Add To MetaCart
-
Rewriting Logic Specification of Membrane Systems with
- on Rewriting Logic and its Applications (WRLA 2008) that was held in Budapest, Hungary, on March 29-30 2008
- Add To MetaCart
-
BRICS Research Series, 1998.
- on Rewriting Logic and its Applications, WRLA '98 Proceedings, ENTCS 15, 1998. 2 x Iteration. December 1998
- Add To MetaCart
-
Nets to Algeb raic Nets and Bey ond
- on Rewriting Logic and its Applications Kanaza w a Cit y Cultural Hall, Kanza w a, Japan, Septemb er 18
- Add To MetaCart
-
Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic
- , Mes96, Mes98b] for an introduction to rewriting logic and its applications), the rewriting logic
- Cited by 10 (3 self) – Add To MetaCart

