Journal of Logic and Algebraic Programming, Volume 49

Volume 49, Number 1-2, September-December 2001

• Reinhard Kahle, Thomas Studer:
  Formalizing non-termination of recursive programs. 1-14
  
• Jeremy Avigad:
  Algebraic proofs of cut elimination. 15-30
  
• Jan Friso Groote, Jan Springintveld:
  Focus points and convergent process operators: a proof strategy for protocol verification. 31-60
  
• Hans Zantema, Jaco van de Pol:
  A rewriting approach to binary decision diagrams. 61-86
  

Last update Fri May 24 20:35:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page