- René Thiemann, Aart Middeldorp:
Innermost Termination of Rewrite Systems by Labeling. WRS@RDP 2007: 3-19 - Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe:
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. WRS@RDP 2007: 21-34 - Joost Visser, Victor L. Winter:
Preface. RULE@RDP 2007: 1-2 - 2006
- Horatiu Cirstea, Narciso Martí-Oliet:
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005. Electronic Notes in Theoretical Computer Science 147(1), Elsevier 2006 [contents] - 2005
- Baris Aktemur, Samuel N. Kamin:
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language. RULE@RDP 2005: 31-55 - Olivier Bournez, Liliana Ibanescu, Hélène Kirchner:
From Chemical Rules to Term Rewriting. RULE@RDP 2005: 113-134 - Horatiu Cirstea, Narciso Martí-Oliet:
Preface. RULE@RDP 2005: 1-3 - Koji Hasebe, Mitsuhiro Okada:
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). RULE@RDP 2005: 73-92 - Karl Trygve Kalleberg, Eelco Visser:
Combining Aspect-Oriented and Strategic Programming. RULE@RDP 2005: 5-30 - Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints. RULE@RDP 2005: 93-111 - Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi:
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. RULE@RDP 2005: 57-72 - Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo:
Typed Mobile Ambients in Maude. RULE@RDP 2005: 135-161