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=40
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
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
Parametrization for order-sorted algebraic specification
Axel Poigné
Journal of Computer and System Sciences
40
, 1990, pp. 229-268
On the power of safe locking
Georg Lausen
,
Eljas Soisalon-Soininen
,
Peter Widmayer
Journal of Computer and System Sciences
40
, 1990, pp. 269-288
Picture iteration and picture ambiguity
Changwook Kim
Journal of Computer and System Sciences
40
, 1990, pp. 289-306
Boundary graph grammars with dynamic edge relabeling
Joost Engelfriet
,
George Leih
,
Emo Welzl
Journal of Computer and System Sciences
40
, 1990, pp. 307-345
Input-dependent-only object histories
Seymour Ginsburg
,
Dan Tian
Journal of Computer and System Sciences
40
, 1990, pp. 346-375
The complexity of regular DNLC graph languages
Ijsbrand Jan Aalbersberg
,
Joost Engelfriet
,
Grzegorz Rozenberg
Journal of Computer and System Sciences
40
, 1990, pp. 376-404
On inference control in semantic data models for statistical databases
Gultekin Ozsoyoglu
Journal of Computer and System Sciences
40
, 1990, pp. 405-443
A note on A.E.
h
-complex functions
Mark A. Fulk
Journal of Computer and System Sciences
40
, 1990, pp. 444-449