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

Volume 76, Number 2, July - August 2008

• Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi:
  Preface.
  Electronic Edition (link) BibTeX
• Achim Jung, M. Andrew Moshier:
  A Hofmann-Mislove theorem for bitopological spaces. 161-174
  Electronic Edition (link) BibTeX
• Thomas Strahm, Jeffery I. Zucker:
  Primitive recursive selection functions for existential assertions over abstract algebras. 175-197
  Electronic Edition (link) BibTeX
• Michel Krebs, Jürg Schmid:
  Ordering the order of a distributive lattice by itself. 198-208
  Electronic Edition (link) BibTeX
• D. Baboolal, Partha Pratim Ghosh:
  A duality involving Borel spaces. 209-215
  Electronic Edition (link) BibTeX
• Kai Brünnler, Martin Lange:
  Cut-free sequent systems for temporal logic. 216-225
  Electronic Edition (link) BibTeX
• Richard McKinley:
  Soft Linear Set Theory. 226-245
  Electronic Edition (link) BibTeX
• Maria Luisa Colasante, Dominic van der Zypen:
  On the closure of the diagonal of a T₁-space. 246-250
  Electronic Edition (link) BibTeX
• Hans-Peter A. Künzi, Charly Makitu Kivuvu:
  A double completion for an arbitrary T₀-quasi-metric space. 251-269
  Electronic Edition (link) BibTeX
• Gerhard Jäger, Mathis Kretz, Thomas Studer:
  Canonical completeness of infinitary mu. 270-292
  Electronic Edition (link) BibTeX