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=6
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
\omega
-computations on Turing machines
R.S. Cohen
,
A.Y. Gold
Theoretical Computer Science
6
(1), 1978, pp. 1-23
Log space machines with multiple oracle tapes
N.A. Lynch
Theoretical Computer Science
6
(1), 1978, pp. 25-39
Towards a theory of local and global in computation
H. Abelson
Theoretical Computer Science
6
(1), 1978, pp. 41-67
On two-symbol complete EOL forms
K. Culik II
,
H.A. Maurer
,
Th. Ottmann
Theoretical Computer Science
6
(1), 1978, pp. 69-92
The densest hemisphere problem
D.S. Johnson
,
F.P. Preparata
Theoretical Computer Science
6
(1), 1978, pp. 93-107
The convergence of functions to fixed points of recursive definitons
Z. Manna
,
A. Shamir
Theoretical Computer Science
6
(2), 1978, pp. 109-141
Isomorphism, form equivalence and sequence equivalence of PDOL forms
K. Culik II
,
H.A. Maurer
,
Th. Ottmann
,
K. Ruohonen
,
A. Salomaa
Theoretical Computer Science
6
(2), 1978, pp. 143-173
One way finite visit automata
S.A. Greibach
Theoretical Computer Science
6
(2), 1978, pp. 175-221
The covering and boundedness problems for vector addition systems
C. Rackoff
Theoretical Computer Science
6
(2), 1978, pp. 223-231
Some lowness properties and computational complexity sequences
V.L. Bennison
,
R.I. Soare
Theoretical Computer Science
6
(3), 1978, pp. 233-254
A representation of trees by languages I
B. Courcelle
Theoretical Computer Science
6
(3), 1978, pp. 255-279
The expected linearity of a simple equivalence algorithm
D.E. Knuth
,
A. Schönhage
Theoretical Computer Science
6
(3), 1978, pp. 281-315
Some decision problems for polynomial mappings
D. Bollman
,
M. Laplaza
Theoretical Computer Science
6
(3), 1978, pp. 317-325
EOL languages are not codings of FPOL languages
A. Ehrenfeucht
,
G. Rozenberg
Theoretical Computer Science
6
(3), 1978, pp. 327-341