The following pages link to Peter Clote (Q455764):
Displayed 50 items.
- Expected distance between terminal nucleotides of RNA secondary structures (Q455765) (← links)
- On the page number of RNA secondary structures with pseudoknots (Q694703) (← links)
- On realizing shapes in the theory of RNA neutral networks (Q776594) (← links)
- (Q790102) (redirect page) (← links)
- Invariance of properties under automorphisms of the lattice of recursively enumerable sets (Q790103) (← links)
- Submodels and definable points in models of Peano arithmetic (Q797573) (← links)
- Asymptotic expected number of base pairs in optimal secondary structure for random RNA using the Nussinov--Jacobson energy model (Q876474) (← links)
- Nonstandard definability (Q913793) (← links)
- Introduction to special issue on RNA (Q938102) (← links)
- Recursive automorphisms of recursive linear orderings (Q1061738) (← links)
- Positive numerations of families with one-valued numerations (Q1062050) (← links)
- Recursive linear orders with recursive successivities (Q1062051) (← links)
- Recursive properties of Euclidean domains (Q1062977) (← links)
- Semilattices of disjunctive and linear degrees (Q1081599) (← links)
- Members of countable \(\Pi ^ 0_ 1\) classes (Q1084100) (← links)
- (Q1106845) (redirect page) (← links)
- The metamathematics of scattered linear orderings (Q1106846) (← links)
- A non-inversion theorem for the jump operator (Q1111549) (← links)
- Logical number theory I. An introduction (Q1188945) (← links)
- Bounded arithmetic for NC, ALogTIME, L and NL (Q1192345) (← links)
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- ALOGTIME and a conjecture of S. A. Cook (Q1353980) (← links)
- Inferring a DNA sequence from erroneous copies (Q1390940) (← links)
- Nondeterministic stack register machines (Q1391527) (← links)
- RNA folding kinetics using Monte Carlo and Gillespie algorithms (Q1741906) (← links)
- On the finite containment problem for Petri nets (Q1819937) (← links)
- Cutting plane and Frege proofs (Q1898117) (← links)
- Cutting planes, connectivity, and threshold logic (Q1908818) (← links)
- Editor's introduction to the special issue on ``Models of arithmetic'' (Q1913624) (← links)
- Are RNA networks scale-free? (Q2303738) (← links)
- Symmetric time warping, Boltzmann pair probabilities and functional genomics (Q2433049) (← links)
- Combinatorics of locally optimal RNA secondary structures (Q2436594) (← links)
- Asymptotic number of hairpins of saturated RNA secondary structures (Q2446792) (← links)
- RNA folding pathways and kinetics using 2D energy landscapes (Q2512926) (← links)
- On Recursive Trees with a Unique Infinite Branch (Q3041176) (← links)
- (Q3140635) (← links)
- (Q3197820) (← links)
- Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic (Q3335777) (← links)
- Boolean Functions, Invariance Groups, and Parallel Complexity (Q3361880) (← links)
- (Q3472089) (← links)
- (Q3682484) (← links)
- A recursion theoretic analysis of the clopen Ramsey theorem (Q3691655) (← links)
- (Q3691675) (← links)
- Optimal bounds for ordinal comparison maps (Q3737421) (← links)
- A generalization of the limit lemma and clopen games (Q3753992) (← links)
- (Q3754621) (← links)
- A note on the Mac Dowell-Specker theorem (Q3755453) (← links)
- (Q3757904) (← links)
- (Q3767345) (← links)
- (Q3840692) (← links)