Journal of Logic and Algebraic Programming, Volume 76
Volume 76, Number 1, May-June 2008
- Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter: Distributive contact lattices: Topological representations. 18-34
- 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
- Michael Winter: Products in categories of relations. 145-159
Volume 76, Number 2, July - August 2008
- Thomas Strahm, Jeffery I. Zucker: Primitive recursive selection functions for existential assertions over abstract algebras. 175-197
- Richard McKinley: Soft Linear Set Theory. 226-245
- Hans-Peter A. Künzi, Charly Makitu Kivuvu: A double completion for an arbitrary T0-quasi-metric space. 251-269
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team