Journal of Logic and Algebraic Programming, Volume 62

Volume 62, Number 1, January 2005

• Can Akkan, Andreas Drexl, Alf Kimms:
  Generating two-terminal directed acyclic graphs with a given complexity index by constraint logic programming. 1-39
  Electronic Edition (link) BibTeX
• Reinhard Stolle, Apollo Hogan, Elizabeth Bradley:
  Agenda control for heterogeneous reasoners. 41-69
  Electronic Edition (link) BibTeX
• J. V. Tucker, Jeffery I. Zucker:
  Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. 71-108
  Electronic Edition (link) BibTeX
• Fairouz Kamareddine, Roel Bloo:
  De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case. 109-131
  Electronic Edition (link) BibTeX
• Ernst-Erich Doberkat:
  The converse of a stochastic relation. 133-154
  Electronic Edition (link) BibTeX

Volume 62, Number 2, February 2005

• Fairouz Kamareddine, Roel Bloo:
  De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case. 159-189
  Electronic Edition (link) BibTeX
• Pieter J. L. Cuijpers, Michel A. Reniers:
  Hybrid process algebra. 191-245
  Electronic Edition (link) BibTeX
• Jan A. Bergstra, Inge Bethke:
  Network algebra in Java. 247-271
  Electronic Edition (link) BibTeX