Journal of Logic and Algebraic Programming, Volume 66

Volume 66, Number 1, January 2006

• Peter Dybjer, Anton Setzer:
  Indexed induction-recursion. 1-49
  Electronic Edition (link) BibTeX
• Jens Blanck:
  Exact real arithmetic using centred intervals and bounded error terms. 50-67
  Electronic Edition (link) BibTeX

Volume 66, Number 2, February-March 2006

• Bernhard Möller:
  Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra. 69-70
  Electronic Edition (link) BibTeX
• Roland Carl Backhouse:
  Regular algebra applied to language problems. 71-111
  Electronic Edition (link) BibTeX
• Rudolf Berghammer:
  Relation-algebraic computation of fixed points with applications. 112-126
  Electronic Edition (link) BibTeX
• Jules Desharnais, Bernhard Möller, Fairouz Tchier:
  Kleene under a modal demonic star. 127-160
  Electronic Edition (link) BibTeX
• Marcelo F. Frias, Carlos López Pombo:
  Interpretability of first-order linear temporal logics in fork algebras. 161-184
  Electronic Edition (link) BibTeX
• Hans Leiß:
  Kleene modules and linear languages. 185-194
  Electronic Edition (link) BibTeX
• Sanjiang Li, Yongming Li:
  On the complemented disk algebra. 195-211
  Electronic Edition (link) BibTeX
• Gunther Schmidt:
  Partiality I: Embedding relation algebras. 212-238
  Electronic Edition (link) BibTeX
• Georg Struth:
  Abstract abstract reduction. 239-270
  Electronic Edition (link) BibTeX