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 BibTeX
• Jeremy Avigad: Algebraic proofs of cut elimination. 15-30 BibTeX
• Jan Friso Groote, Jan Springintveld: Focus points and convergent process operators: a proof strategy for protocol verification. 31-60 BibTeX
• Hans Zantema, Jaco van de Pol: A rewriting approach to binary decision diagrams. 61-86 BibTeX