The settling-time reducibility ordering
From MaRDI portal
Publication:5422318
DOI10.2178/jsl/1191333856zbMath1127.03035OpenAlexW1993915007MaRDI QIDQ5422318
Richard A. Shore, Barbara F. Csima
Publication date: 17 October 2007
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1191333856
Cites Work
This page was built for publication: The settling-time reducibility ordering