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
  
• Reinhard Stolle, Apollo Hogan, Elizabeth Bradley:
  Agenda control for heterogeneous reasoners. 41-69
  
• J. V. Tucker, Jeffery I. Zucker:
  Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. 71-108
  
• Fairouz Kamareddine, Roel Bloo:
  De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case. 109-131
  
• Ernst-Erich Doberkat:
  The converse of a stochastic relation. 133-154
  

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
  
• Pieter J. L. Cuijpers, Michel A. Reniers:
  Hybrid process algebra. 191-245
  
• Jan A. Bergstra, Inge Bethke:
  Network algebra in Java. 247-271
  

Last update Sat May 18 20:42:26 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page