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 YEAR=1990
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Decomposing a relation into a tree of binary relations
Rina Dechter
Journal of Computer and System Sciences
41
, 1990, pp. 2-24
A new interpretation for null values in the weak instance model
Paolo Atzeni
,
Maria Cristina De Bernardis
Journal of Computer and System Sciences
41
, 1990, pp. 25-43
Logic programming with sets
Gabriel M. Kuper
Journal of Computer and System Sciences
41
, 1990, pp. 44-64
Commutativity-based locking for nested transactions
Alan Fekete
,
Nancy Lynch
,
Michael Merritt
,
William Weihl
Journal of Computer and System Sciences
41
, 1990, pp. 65-156
Bounds on the propagation of selection into logic programs
Catriel Beeri
,
Paris Kanellakis
,
François Bancilhon
,
Raghu Ramakrishnan
Journal of Computer and System Sciences
41
, 1990, pp. 157-180
Procedural languages for database queries and updates
Serge Abiteboul
,
Victor Vianu
Journal of Computer and System Sciences
41
, 1990, pp. 181-229
Practical arbitrary lookahead LR parsing
Manuel E. Bermudez
,
Karl M. Schimpf
Journal of Computer and System Sciences
41
, 1990, pp. 230-250
On the complexity of ranking
Lane A. Hemachandra
,
Steven Rudich
Journal of Computer and System Sciences
41
, 1990, pp. 251-271
On uniformity within
NC^1
David A. Mix Barrington
,
Neil Immerman
Journal of Computer and System Sciences
41
, 1990, pp. 274-306
Pseudorandom sources for BPP
Jack H. Lutz
Journal of Computer and System Sciences
41
, 1990, pp. 307-320
On the theory of the PTIME degrees of the recursive sets
Juichi Shinoda
,
Theodore A. Slaman
Journal of Computer and System Sciences
41
, 1990, pp. 321-366
Self-reducibility
José L. Balcázar
Journal of Computer and System Sciences
41
, 1990, pp. 367-388
Cook reducibility is faster than Karp reduciblity in NP
Luc Longpré
,
Paul Young
Journal of Computer and System Sciences
41
, 1990, pp. 389-401
Relations between communication complexity classes
Bernd Halstenberg
,
Rüdiger Reischuk
Journal of Computer and System Sciences
41
, 1990, pp. 402-429
Prediction-preserving reducibility
Leonard Pitt
,
Manfred K. Warmuth
Journal of Computer and System Sciences
41
, 1990, pp. 430-467
Geometric consistency theorem for a symbolic perturbation scheme
Chee-Keng Yap
Journal of Computer and System Sciences
40
, 1990, pp. 2-18
Covering orthogonal polygons with star polygons: The perfect graph approach
Rajeev Motwani
,
Arvind Raghunathan
,
Huzur Saran
Journal of Computer and System Sciences
40
, 1990, pp. 19-48
Hidden surface removal for rectangles
Marshall Bern
Journal of Computer and System Sciences
40
, 1990, pp. 49-69
Applied computational geometry: Towards robust solutions of basic problems
David Dobkin
,
Deborah Silver
Journal of Computer and System Sciences
40
, 1990, pp. 70-87
On maximum flows in polyhedral domains
Joseph S.B. Mitchell
Journal of Computer and System Sciences
40
, 1990, pp. 88-123
The Hoare and Smith power domain constructors commute under composition
Kevin E. Flannery
,
Johannes J. Martin
Journal of Computer and System Sciences
40
, 1990, pp. 125-135
First-order spectra with one variable
Etienne Grandjean
Journal of Computer and System Sciences
40
, 1990, pp. 136-153
Soliton automata
J. Dassow
,
H. Jürgensen
Journal of Computer and System Sciences
40
, 1990, pp. 154-181
Genomorphisms of semi-modular lattices
Damas P. Gruska
Journal of Computer and System Sciences
40
, 1990, pp. 182-187
Edge-label controlled graph grammars
Michael G. Main
,
Grzegorz Rozenberg
Journal of Computer and System Sciences
40
, 1990, pp. 188-228
Seiten 1
2
>