Peter Clote
Arithmetic, proof theory, and computational complexity
Boolean Functions and Computation Models
Boolean functions and computation models
Computational molecular biology
Computational molecular biology
Feasible mathematics II
Feasible mathematics II
Arithmetic, proof theory, and computational complexity
RNA : Computational Methods for Structure, Kinetics, and Rational