Journal of Logic and Algebraic Programming, Volume 76

Volume 76, Number 1, May-June 2008

• Renate A. Schmidt, Georg Struth:
  Relations and Kleene Algebras in Computer Science. 1-2
  Electronic Edition (link) BibTeX
• Kamal Aboul-Hosn, Dexter Kozen:
  Local variable scoping and Kleene algebra with tests. 3-17
  Electronic Edition (link) BibTeX
• Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter:
  Distributive contact lattices: Topological representations. 18-34
  Electronic Edition (link) BibTeX
• Peter Höfner, Bernhard Möller:
  Algebraic Neighbourhood Logic. 35-59
  Electronic Edition (link) BibTeX
• Wolfram Kahl:
  Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types. 60-89
  Electronic Edition (link) BibTeX
• A. K. McIver, C. Gonzalia, E. Cohen, C. C. Morgan:
  Using probabilistic Kleene algebra pKA for protocol verification. 90-111
  Electronic Edition (link) BibTeX
• Gunther Schmidt, Rudolf Berghammer:
  Relational measures and integration in preference modeling. 112-129
  Electronic Edition (link) BibTeX
• Giuseppe Scollo, Giuditta Franco, Vincenzo Manca:
  Relational state transition dynamics. 130-144
  Electronic Edition (link) BibTeX
• Michael Winter:
  Products in categories of relations. 145-159
  Electronic Edition (link) BibTeX