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

Volume 76, Number 2, July - August 2008

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

Last update Fri May 24 20:35:50 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page