The Complexity of Primes in Computable Unique Factorization Domains
Dzhafarov, Damir D., Mileti, Joseph R.Volume:
59
Year:
2018
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1215/00294527-2017-0024
File:
PDF, 347 KB
english, 2018