Theoretical Computer Science, Volume 193

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
  Electronic Edition (link) BibTeX
• Abbas Edalat, Reinhold Heckmann:
  A Computational Model for Metric Spaces. 53-73
  Electronic Edition (link) BibTeX
• Giorgio Ghelli, Benjamin C. Pierce:
  Bounded Existentials and Minimal Typing. 75-96
  Electronic Edition (link) BibTeX
• Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, Shigemi Aoyagi:
  k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion. 97-112
  Electronic Edition (link) BibTeX
• Fabio Alessi, Paolo Baldan:
  A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space. 113-127
  Electronic Edition (link) BibTeX
• Henri-Alex Esbelin, Malika More:
  Rudimentary Relations and Primitive Recursion: A Toolbox. 129-148
  Electronic Edition (link) BibTeX
• Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan:
  Foundations of Aggregation Constraints. 149-179
  Electronic Edition (link) BibTeX
• Thomas Drakengren:
  A Decidable Canonical Representation of the Compact Elements in Scott's Reflexive Domain in P-omega. 181-195
  Electronic Edition (link) BibTeX
• Alexander Moshe Rabinovich:
  On Translations of Temporal Logic of Actions Into Monadic Second-Order Logic. 197-214
  Electronic Edition (link) BibTeX
• Marco Cadoli, Luigi Palopoli:
  Circumscribing DATALOG: Expressive Power and Complexity. 215-244
  Electronic Edition (link) BibTeX