Volume 76, Number 1, May-June 2008
Relations and Kleene Algebras in Computer Science
- 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 T1-space.
246-250

- Hans-Peter A. Künzi, Charly Makitu Kivuvu:
A double completion for an arbitrary T0-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