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=J. Comput.~Syst.~Sci. AND Volume=33
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Fully abstract submodels of typed lambda calculi
K. Mulmuley
Journal of Computer and System Sciences
33
(1), 1986, August, pp. 2-46
Polymorphic arrays: a novel VLSI layout for systolic computers
A. Fiat
,
A. Shamir
Journal of Computer and System Sciences
33
(1), 1986, August, pp. 47-65
An implicit data structure supporting insertion, deletion, and search in
O(log^2 n)
time
J.I. Munro
Journal of Computer and System Sciences
33
(1), 1986, August, pp. 66-74
Generating quasi-random sequences from semi-random sources
M. Santha
,
U.V. Vazirani
Journal of Computer and System Sciences
33
(1), 1986, August, pp. 75-87
A lower bound for probabilistic algorithms for finite state machines
A.G. Greenberg
,
A. Weiss
Journal of Computer and System Sciences
33
(1), 1986, August, pp. 88-105
Probabilistic communication complexity
R. Paturi
,
J. Simon
Journal of Computer and System Sciences
33
(1), 1986, August, pp. 106-123
Design by example: an application of Armstrong relations
H. Mannila
,
K.-J. Raiha
Journal of Computer and System Sciences
33
(2), 1986, October, pp. 126-141
Querying logical databases
M.Y. Vardi
Journal of Computer and System Sciences
33
(2), 1986, October, pp. 142-160
Deadlock-freedom (and safety) of transactions in a distributed database
O. Wolfson
,
M. Yannakakis
Journal of Computer and System Sciences
33
(2), 1986, October, pp. 161-178
Chordality properties on graphs and minimal conceptual connections in semantic data models
G. Ausiello
,
A. d'Atri
,
M. Moscarini
Journal of Computer and System Sciences
33
(2), 1986, October, pp. 179-202
Partition semantics for relations
S.S. Cosmadakis
,
P.C. Kanellakis
,
N. Spyratos
Journal of Computer and System Sciences
33
(2), 1986, October, pp. 203-233
Equivalence of views by query capacity
T. Connors
Journal of Computer and System Sciences
33
(2), 1986, October, pp. 234-274
Concurrent operations on B-trees with overtaking
Y. Sagiv
Journal of Computer and System Sciences
33
(2), 1986, October, pp. 275-296
Algorithmic aspects of multiversion concurrency control
T. Hadzilacos
,
C.H. Papadimitriou
Journal of Computer and System Sciences
33
(2), 1986, October, pp. 297-310
A complete rule for equifair termination
O. Grumberg
,
N. Francez
,
S. Katz
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 313-332
Quasi-varieties in abstract algebraic institutions
A. Tarlecki
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 333-360
Non first normal form relations: an algebra allowing data restructuring
S. Abiteboul
,
N. Bidoit
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 361-393
A theory of orbital behavior in a class of nonlinear systems: chaos and a signature-based approach
M.E. Kaliski
,
S.Y. Kwankam
,
P. Halpern
,
D. Shulman
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 394-414
The bounded degree problem for NLC grammars is decidable
D. Janssens
,
G. Rozenberg
,
E. Welzl
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 415-422
A representation theorem of infinite dimensional algebras and applications to language theory
G. Hotz
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 423-455
Membership for growing context-sensitive grammars is polynomial
E. Dahlhaus
,
M.K. Warmuth
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 456-472
Analysis of bounded linear cellular automata based on a method of image charges
H.C. Card
,
A. Thanailakis
,
W. Pries
,
R.D. McLeod
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 473-480