Bounded Immunity and Btt-Reductions (1999)

Cached

Download Links

by Stephen Fenner , Marcus Schaefer
Venue:MLQ Math. Log. Q
Citations:8 - 3 self

Active Bibliography

A Note on a Variant of Immunity, Btt-Reducibility, and Minimal Programs – Stephen Fenner, Marcus Schaefer - 1996
1 Simple Sets Are Not Btt-Cuppable – Marcus Schaefer - 1997
828 The Symbol Grounding Problem – Stevan Harnad - 1990
1 Simplicity and Strong Reductions – Marcus Schaefer, Stephen Fenner - 2000
Notre Dame Journal of Formal Logic Cuppability of Simple and Hypersimple Sets – Martin Kummer, Marcus Schaefer
Simple Sets and Strong Reducibilities – Kejia Ho, Frank Stephan
Electronic Colloquium on Computational Complexity, Report No. 71 (2004) Simplicity and Strong Reductions – Marcus Schaefer, Stephen Fenner - 2004
195 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
32 Automorphisms of the lattice of recursively enumerable sets: Orbits, Adv – Author(s) Peter Cholak, Rod Downey, Michael Stob, Peter Cholak, Rod Downey, Michael Stob