Journal of Logic and Algebraic Programming, Volume 57

Volume 57, Numbers 1-2, September - December 2003

• Jan Friso Groote, Olga Tveretina:
  Binary decision diagrams for first-order predicate logic. 1-22
  
• Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy:
  Inheritance in the join calculus. 23-69
  
• Anthony C. J. Fox, Neal A. Harman:
  Algebraic models of correctness for abstract pipelines. 71-107