default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 149
Volume 149, Number 1, 18 September 1995
- Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong
:
Principles of Programming with Complex Objects and Collection Types. 3-48 - Jan Van den Bussche, Dirk Van Gucht:
The Expressive Power of Cardinality-Bounded Set Values in Object-Based Data Models. 49-66 - Stéphane Grumbach, Christophe Tollu:
On the Expressive Power of Counting. 67-99 - Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Computing with Infinitary Logic. 101-128 - Jyrki Kivinen, Heikki Mannila:
Approximate Inference of Functional Dependencies from Relations. 129-149 - Alan D. Fekete, Nancy A. Lynch, William E. Weihl:
Hybrid Atomicity for Nested Transactions. 151-178 - Man Hon Wong, Divyakant Agrawal:
Context-Specific Synchronization for Atomic Data Types in Object-Based Databases. 179-199
Volume 149, Number 2, 2 October 1995
- 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
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-11 21:31 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:
