The foundations of computational complexity theory go back to Alan Thring in the 1930s who was co...

CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2...

Perspicuity is part of proof. If the process by means of which I get a result were not surveyable...

This book principally concerns the rapidly growing area of what might be termed 'Logical Complexi...

Recently molecular biology has undergone unprecedented development generating vast quantities of ...

Computational Biology ist ein hochmodernes Forschungsgebiet, das die computergestützte Modellieru...

Perspicuity is part of proof. If the process by means of which I get a result were not surveyable...

The foundations of computational complexity theory go back to Alan Thring in the 1930s who was co...

RNA Structure, Kinetics, and Rational Design is a comprehensive treatment of computational method...