Electronic Notes in Theoretical Computer Science, Volume 147

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