BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Denmark
2 × USA
Collaborated with:
Talks about:
conjectur (1) constant (1) protein (1) paradox (1) levinth (1) alogtim (1) markov (1) evolut (1) comput (1) rapid (1)

Person: Peter Clote

DBLP DBLP: Clote:Peter

Facilitated 1 volumes:

CSL 2000Ed

Contributed to:

ICALP 19991999
CSL 19971997
LICS 19921992
LICS 19901990

Wrote 4 papers:

ICALP-1999-Clote #markov
Protein Folding, the Levinthal Paradox and Rapidly Mixing Markov Chains (PC), pp. 240–249.
CSL-1997-BackofenC #evolution
Evolution as a Computational Engine (RB, PC), pp. 35–55.
LICS-1992-Clote #constant #proving
Cutting Planes and constant depth Frege proofs (PC), pp. 296–307.
ALOGTIME and a Conjecture of S. A. Cook (PC), pp. 181–189.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.