Volume 147, Number 1, January 2006

• 
  Horatiu Cirstea, Narciso Martí-Oliet: Preface. 1-3
• 
  Karl Trygve Kalleberg, Eelco Visser: Combining Aspect-Oriented and Strategic Programming. 5-30
• 
  Baris Aktemur, Samuel N. Kamin: Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language. 31-55
• 
  Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. 57-72
• 
  Koji Hasebe, Mitsuhiro Okada: Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). 73-92
• 
  Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth: Automatic Implication Checking for CHR Constraints. 93-111
• 
  Olivier Bournez, Liliana Ibanescu, Hélène Kirchner: From Chemical Rules to Term Rewriting. 113-134
• 
  Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo: Typed Mobile Ambients in Maude. 135-161

last updated on Sat May 18 06:06:42 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page