Cholak, Peter, 1962-....
Cholak, Peter
Cholak, Peter A.
Cholak, Peter A., 1962-
VIAF ID: 18915514 ( Personal )
Permalink: http://viaf.org/viaf/18915514
Preferred Forms
-
- 100 1 _ ‡a Cholak, Peter
-
-
-
- 100 1 _ ‡a Cholak, Peter ‡d 1962-
- 100 1 _ ‡a Cholak, Peter ‡d 1962-
-
-
- 100 1 _ ‡a Cholak, Peter, ‡d 1962-
- 100 1 _ ‡a Cholak, Peter, ‡d 1962-....
4xx's: Alternate Name Forms (4)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automorphisms of the lattice of recursively enumerable sets, 1995: | |
Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder | |
Milliken's Tree Theorem and Its Apllications: A computability-Theoric Perspective | |
The Notre Dame lectures |