default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 149

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 149, Number 1, 18 September 1995

Selected papers of ICDT 1992

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BunemanNTW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BunemanNTW95
Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong:
Principles of Programming with Complex Objects and Collection Types. 3-48
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BusscheG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BusscheG95
Jan Van den Bussche, Dirk Van Gucht:
The Expressive Power of Cardinality-Bounded Set Values in Object-Based Data Models. 49-66
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GrumbachT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GrumbachT95
Stéphane Grumbach, Christophe Tollu:
On the Expressive Power of Counting. 67-99
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbiteboulVV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbiteboulVV95
Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Computing with Infinitary Logic. 101-128
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KivinenM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KivinenM95
Jyrki Kivinen, Heikki Mannila:
Approximate Inference of Functional Dependencies from Relations. 129-149
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FeketeLW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FeketeLW95
Alan D. Fekete, Nancy A. Lynch, William E. Weihl:
Hybrid Atomicity for Nested Transactions. 151-178
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/WongA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WongA95
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

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BrogiT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrogiT95
Antonio Brogi, Franco Turini:
Fully Abstract Composition Semantics for an Algebra of Logic Programs. 201-209
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Costantini95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Costantini95
Stefania Costantini:
Contributions to the Stable Model Semantics of Logic Programs with Negation. 231-255
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Abraham95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Abraham95
Uri Abraham:
On Interprocess Communication and the Implementation of Multi-Writer Atomic Registers. 257-298
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MontanariY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MontanariY95
Ugo Montanari, Daniel Yankelevich:
Location Equivalence in Parametric Setting. 299-332
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DesharnaisBSTJMZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DesharnaisBSTJMZ95
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Schmidt-SchaussMP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Schmidt-SchaussMP95
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.