default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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, Carlos Gonzalía, Ernie 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 - Dharmanand 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
