Literatur

Adl96

Leonard M. Adleman.
On constructing a molecular computer.
Hrsg. Eric B. Baum and Richard J. Lipton, DNA Based Computers, DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, Band 27. American Mathematical Society, 1996. ftp://usc.edu/pub/csinfo/papers/adleman/molecular_computer.ps

Ba

Donald Beaver.
Molecular Computing.
http://www.transarc.com/~beaver/research/publications/TR95-001.ps

Bb

Donald Beaver.
Computing with DNA.
http://www.transarc.com/~beaver/research/publications/bc.ps

GMW91

Oded Goldreich, Silvio Micali, and Avi Wigderson.
Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems.
Journal of the ACM, 38(3):691-729, Juli 1991.
Siehe: http://theory.lcs.mit.edu/~oded/zk.html

Gol95

O. Goldreich.
Randomness, Interaction, Proofs and Zero-Knowledge - A Survey.
In R. Herken, editor, The Universal Turing Machine: A Half-Century Survey, 349-375. Springer-Verlag, Wien, 1995. ftp://theory.lcs.mit.edu/pub/people/oded/turing.ps

HS97

Hrsg L.A. Hemaspaandra and A.L. Selman.
Complexity Theory Retrospective II. Springer-Verlag, Berlin, 1997.
K. 2: http://www.uni-paderborn.de/fachbereich/AG/ ...
K. 5: ftp://theory.lcs.mit.edu/pub/people/oded/pps2.ps
K. 8: http://www.cs.uchicago.edu/~stuart/Research/bc.ps

KMRSa

Stuart A. Kurtz, Stephen R. Mahaney, James S. Royer, Janos Simon.
Biological Computing. http://www.cs.uchicago.edu/~stuart/Research/bc.ps

KMRSb

Stuart A. Kurtz, Stephen R. Mahaney, James S. Royer, Janos Simon.
Active Transport in Biological Computing. http://www.cs.uchicago.edu/~stuart/Research/transport.ps

LV93

M. Li and P. Vitányi.
An Introduction to Kolmogorov Complexity and its Applications.
Springer-Verlag, Berlin, 1993.

May97

E.W. Mayr.
Some complexity results for polynomial ideals.
Journal of Complexity, 13:303-325, 1997. http://wwwmayr.informatik.tu-muenchen.de/berichte/#1997

MPS98

Hrsg. E.W. Mayr, H.J. Prömel, and A. Steger.
Lectures on Proof Verification and Approximation Algorithms, Lecture Notes in Computer Science Vol. 1367. Springer-Verlag, Berlin, 1998.

Pap94

C. Papadimitriou.
Computational Complexity.
Addison-Wesley, 1994.

RW95

Diana Roo"s, Klaus W. Wagner.
On the Power of DNA-Computers.
Technical Report Uni W"urzburg 1995
ftp://www-info4.informatik.uni-wuerzburg.de/pub/TRs/ro-wa95.ps.gz

Sch95

U. Schöning.
Perlen der Theoretischen Informatik.
BI Wissenschaftsverlag, Mannheim, 1995.

Sch96

U. Schöning.
Interaktive Beweise.
In I. Wegener, editor, Highlights aus der Informatik, 287-304. Springer-Verlag, Berlin, 1996.