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=35
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Design of relational database schemes by deleting attributes in the canonical decomposition
J. Biskup
,
R. Meyer
Journal of Computer and System Sciences
35
(1), 1987, August, pp. 1-22
Communication in Concurrent Dynamic Logic
D. Peleg
Journal of Computer and System Sciences
35
(1), 1987, August, pp. 23-58
Complementing deterministic Buchi Automata in polynomial Time
R.P. Kurshan
Journal of Computer and System Sciences
35
(1), 1987, August, pp. 59-71
Union and actualization of module specifications: some compatibility results
F. Parisi-Presicce
Journal of Computer and System Sciences
35
(1), 1987, August, pp. 72-95
Edge-connectivity augmentation problems
T. Watanabe
,
A. Nakamura
Journal of Computer and System Sciences
35
(1), 1987, August, pp. 96-144
\Sigma_2\mbox{SPACE}(n)
is closed under complement
S. Toda
Journal of Computer and System Sciences
35
(2), 1987, October, pp. 145-152
A lower bound for read-once-only branching programs
L. Babai
,
P. Hajnal
,
E. Szemberedi
,
G. Turan
Journal of Computer and System Sciences
35
(2), 1987, October, pp. 153-162
On flowchart theories. I. The deterministic case
G. Stefanescu
Journal of Computer and System Sciences
35
(2), 1987, October, pp. 163-191
Handle NLC grammars and RE languages
M.G. Main
,
G. Rozenberg
Journal of Computer and System Sciences
35
(2), 1987, October, pp. 192-205
An algebra of processes
J. Winkowski
,
A. Maggiolo-Schettini
Journal of Computer and System Sciences
35
(2), 1987, October, pp. 206-228
Dynamic algebras with test
V. Trnkova
,
J. Reiterman
Journal of Computer and System Sciences
35
(2), 1987, October, pp. 229-242
Groups and NTS languages
J.-M. Autebert
,
L. Boasson
,
G. Senizergues
Journal of Computer and System Sciences
35
(2), 1987, October, pp. 243-267
Refined complexity analysis for heap operations
Michael L. Fredman
,
Thomas H. Spencer
Journal of Computer and System Sciences
35
(3), 1987, December, pp. 269-284
On deciding the confluence of a finite string-rewriting system on a given congruence class
F. Otto
Journal of Computer and System Sciences
35
(3), 1987, December, pp. 285-310
On commutative context-free languages
J. Beauquier
,
M. Blattner
,
M. Latteux
Journal of Computer and System Sciences
35
(3), 1987, December, pp. 311-320
The Verso algebra or how to answer queries with fewer joins
N. Bidoit
Journal of Computer and System Sciences
35
(3), 1987, December, pp. 321-364
Algebraic solutions to recursion schemes
D.B. Benson
,
I. Guessarian
Journal of Computer and System Sciences
35
(3), 1987, December, pp. 365-400