The settling-time reducibility ordering

by Barbara F. Csima , Richard , A. Shore
Venue:Journal of Symbolic Logic
Citations:2 - 2 self