Volume 193, Numbers 1-2, 28 Februrary 1998
- Marcello M. Bonsangue, Franck van Breugel, Jan J. M. M. Rutten:
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.
1-51
- Abbas Edalat, Reinhold Heckmann:
A Computational Model for Metric Spaces.
53-73
- Giorgio Ghelli, Benjamin C. Pierce:
Bounded Existentials and Minimal Typing.
75-96
- Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, Shigemi Aoyagi:
k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion.
97-112
- Fabio Alessi, Paolo Baldan:
A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space.
113-127
- Henri-Alex Esbelin, Malika More:
Rudimentary Relations and Primitive Recursion: A Toolbox.
129-148
- Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan:
Foundations of Aggregation Constraints.
149-179
- Thomas Drakengren:
A Decidable Canonical Representation of the Compact Elements in Scott's Reflexive Domain in P-omega.
181-195
- Alexander Moshe Rabinovich:
On Translations of Temporal Logic of Actions Into Monadic Second-Order Logic.
197-214
- Marco Cadoli, Luigi Palopoli:
Circumscribing DATALOG: Expressive Power and Complexity.
215-244
Last update Fri May 24 20:53:10 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
