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=190
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Interaction nets and term-rewriting systems
Maribel Fernández
,
Ian Mackie
Theoretical Computer Science
190
(1), 1998, pp. 3-39
Axiomatising extended computation tree logic
Roope Kaivola
Theoretical Computer Science
190
(1), 1998, pp. 41-60
Computing in unpredictable environments: Semantics, reduction strategies, and program transformations
Björn Lisper
Theoretical Computer Science
190
(1), 1998, pp. 61-85
Open maps, behavioural equivalences, and congruences
Allan Cheng
,
Mogens Nielsen
Theoretical Computer Science
190
(1), 1998, pp. 87-112
A first step towards implementing dynamic algebraic dependences
N. Bidoit
,
S. de Amo
Theoretical Computer Science
190
(2), 1998, pp. 115-149
Asymptotic properties of keys and functional dependencies in random databases
J. Demetrovics
,
G.O.H. Katona
,
D. Miklos
,
O. Seleznjev
,
B. Thalheim
Theoretical Computer Science
190
(2), 1998, pp. 151-166
Models of approximation in databases
Leonid Libkin
Theoretical Computer Science
190
(2), 1998, pp. 167-210
A probabilistic view of Datalog parallelization
Sérgio Lifschitz
,
Victor Vianu
Theoretical Computer Science
190
(2), 1998, pp. 211-239
Revision programming
Victor W. Marek
,
Mirosƚaw Truszcyński
Theoretical Computer Science
190
(2), 1998, pp. 241-277
Domain-independent queries on databases with external functions
Dan Suciu
Theoretical Computer Science
190
(2), 1998, pp. 279-315
The Kolmogorov expressive power of Boolean query languages
Jerzy Tyszkiewicz
Theoretical Computer Science
190
(2), 1998, pp. 317-361
Unifying concurrency control and recovery of transactions with semantically rich operations
R. Vingralek
,
H. Hasse-Ye
,
Y. Breitbart
,
H.-J. Schek
Theoretical Computer Science
190
(2), 1998, pp. 363-396