Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=149
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Principles of programming with complex objects and collection types
Peter Buneman
,
Shamim Naqvi
,
Val Tannen
,
Limsoon Wong
Theoretical Computer Science
149
(1), 1995, pp. 3-48
The expressive power of cardinality-bounded set values in object-based data models
Jan Van den Bussche
,
Dirk van Gucht
Theoretical Computer Science
149
(1), 1995, pp. 49-66
On the expressive power of counting
Stéphanie Grumbach
,
Christophe Tollu
Theoretical Computer Science
149
(1), 1995, pp. 67-99
Computing with infinitary logic
Serge Abiteboul
,
Moshe Y. Vardi
,
Victor Vianu
Theoretical Computer Science
149
(1), 1995, pp. 101-128
Approximate inference of functional dependencies from relations
Jyrki Kivinen
,
Heikki Mannila
Theoretical Computer Science
149
(1), 1995, pp. 129-149
Hybrid atomicity for nested transactions
Alan Fekete
,
Nancy Lynch
,
William E. Weihl
Theoretical Computer Science
149
(1), 1995, pp. 151-178
Context-specific synchronization for atomic data types in object-based databases
Man Hon Wong
,
Divyakant Agrawal
Theoretical Computer Science
149
(1), 1995, pp. 179-199
Fully abstract compositional semantics for an algebra of logic programs
Antonio Brogi
,
Franco Turini
Theoretical Computer Science
149
(2), 1995, pp. 201-229
Contributions to the stable model semantics of logic programs with negation
Stefania Costantini
Theoretical Computer Science
149
(2), 1995, pp. 231-255
On interprocess communication and the implementation of multi-writer atomic registers
Uri Abraham
Theoretical Computer Science
149
(2), 1995, pp. 257-298
Location equivalence in a parametric setting
Ugo Montanari
,
Daniel Yankelevich
Theoretical Computer Science
149
(2), 1995, pp. 299-332
Embedding a demonic semilattice in a relation algebra
Jules Desharnais
,
Nadir Belkhiter
,
Salah Ben Mohamed Sghaier
,
Fairouz Tchier
,
Ali Jaoua
,
Ali Mili
,
Nejib Zaguia
Theoretical Computer Science
149
(2), 1995, pp. 333-360
Modular termination of
r
-consistent and left-linear term rewriting systems
Manfred Schmidt-Schauss̈
,
Massimo Marchiori
,
Sven Eric Panitz
Theoretical Computer Science
149
(2), 1995, pp. 361-374