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
[1]
Hilfe
Suche: Author="Siefkes, D."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Using inductive counting to simulate nondeterministic computation
G. Buntrock
,
L.A. Hemachandra
,
D. Siefkes
Lecture Notes in Computer Science
452
, 1990, pp. 187-194
Polynomial-time functions generate SAT: on
P
-splinters
L.A. Hemachandra
,
A. Hoene
,
D. Siefkes
Lecture Notes in Computer Science
379
, 1989, pp. 259-269
Bounded concatenation theory as a uniform method for proving lower complexity bounds
K. Fleischmann
,
B. Mahr
,
D. Siefkes
Technical Report (CSD-TR-202), 1976, October