dblp: Theoretical Computer Science, Volume 149

Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong: Principles of Programming with Complex Objects and Collection Types. 3-48, (preliminary version: ICDT 1992: 140-154)

Jan Van den Bussche, Dirk Van Gucht: The Expressive Power of Cardinality-Bounded Set Values in Object-Based Data Models. 49-66, (preliminary version: ICDT 1992: 326-340)

Stéphane Grumbach, Christophe Tollu: On the Expressive Power of Counting. 67-99, (preliminary version: ICDT 1992: 124-139)

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. 101-128, (preliminary version: ICDT 1992: 113-123)

Jyrki Kivinen, Heikki Mannila: Approximate Inference of Functional Dependencies from Relations. 129-149, (preliminary version: ICDT 1992: 86-98)

Alan Fekete, Nancy A. Lynch, William E. Weihl: Hybrid Atomicity for Nested Transactions. 151-178, (preliminary version: ICDT 1992: 216-230)

Man Hon Wong, Divyakant Agrawal: Context-Specific Synchronization for Atomic Data Types in Object-Based Databases. 179-199, (preliminary version: ICDT 1992: 201-215)

Antonio Brogi, Franco Turini: Fully Abstract Composition Semantics for an Algebra of Logic Programs. 201-209

Stefania Costantini: Contributions to the Stable Model Semantics of Logic Programs with Negation. 231-255

Uri Abraham: On Interprocess Communication and the Implementation of Multi-Writer Atomic Registers. 257-298

Ugo Montanari, Daniel Yankelevich: Location Equivalence in Parametric Setting. 299-332

Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia: Embedding a Demonic Semilattice in a Relational Algebra. 333-360

Manfred Schmidt-Schauß, Massimo Marchiori, Sven Eric Panitz: Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems. 361-374

Theoretical Computer Science, Volume 149

Volume 149, Number 1, 18 September 1995

Volume 149, Number 2, 2 October 1995