![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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
, 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 - 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.