| Publication | Date of Publication | Type |
|---|
Max and min limiters
Archive for Mathematical Logic | 2003-09-16 | Paper |
Rank, join, and Cantor singletons
Archive for Mathematical Logic | 1999-01-05 | Paper |
Terse, superterse, and verbose sets
Information and Computation | 1993-06-29 | Paper |
Weakly semirecursive sets
Journal of Symbolic Logic | 1990-01-01 | Paper |
Nondeterministic bounded query reducibilities
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
A cardinality version of Beigel's nonspeedup theorem
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4002170 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4039882 (Why is no real title available?) | 1987-01-01 | Paper |
Effective choice functions and index sets
Journal of Computer and System Sciences | 1986-01-01 | Paper |
Tiling the unit square with squares and rectangles
Journal of Combinatorial Theory. Series A | 1985-01-01 | Paper |
Diophantine chains
Rocky Mountain Journal of Mathematics | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3805789 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3621833 (Why is no real title available?) | 1979-01-01 | Paper |
| Solution of Planar Diophantine Equations | 1978-01-01 | Paper |
The Inequivalence of Two Well‐Known Notions of Randomness for Binary Sequences
Mathematical Logic Quarterly | 1976-01-01 | Paper |
Splitting a context-sensitive set
Journal of Computer and System Sciences | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3494440 (Why is no real title available?) | 1975-01-01 | Paper |
A class of universal linear bounded automata
Information Sciences | 1973-01-01 | Paper |
A splitting theorem for simple Π<sub>1</sub><sup>1</sup> Sets
Journal of Symbolic Logic | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3314334 (Why is no real title available?) | 1971-01-01 | Paper |
An elementary approach to Diophantine equations of the second degree
Duke Mathematical Journal | 1970-01-01 | Paper |
| Commutativity and Common Fixed Points in Recursion Theory | 1970-01-01 | Paper |
The Meta-R.E. sets, but not the Π<sub>1</sub><sup>1</sup> sets, can be enumerated without repetition
Journal of Symbolic Logic | 1970-01-01 | Paper |
| A Canonical Linear Order for the Maximal Chains of a Tree | 1969-01-01 | Paper |
Π<sub>1</sub><sup>1</sup> Sets, ω-Sets, and metacompleteness
Journal of Symbolic Logic | 1969-01-01 | Paper |
Another Proof of the Egyptian Fraction Theorem
The American Mathematical Monthly | 1968-01-01 | Paper |
Recursion, metarecursion, and inclusion
Journal of Symbolic Logic | 1967-01-01 | Paper |
