Algorithmic degree of unars
From MaRDI portal
Publication:1825186
DOI10.1007/BF01978402zbMath0684.03012MaRDI QIDQ1825186
Publication date: 1988
Published in: Algebra and Logic (Search for Journal in Brave)
Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (3)
Existence and uniqueness of structures computable in polynomial time ⋮ Structures computable in polynomial time. II ⋮ Some applications of computable one-one numberings
Cites Work
This page was built for publication: Algorithmic degree of unars