Recursive properties of Euclidean domains
From MaRDI portal
Publication:1062977
DOI10.1016/0168-0072(85)90035-1zbMath0574.03029OpenAlexW2053184952MaRDI QIDQ1062977
Publication date: 1985
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(85)90035-1
Other constructive mathematics (03F65) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (1)
Cites Work
This page was built for publication: Recursive properties of Euclidean domains