Volume 66, Number 1, January 2006

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

Volume 66, Number 2, February-March 2006

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

last updated on Sat May 18 06:24:00 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page