Some Elementary Results About the Equivalence of Computability and Decidability

DOI10.1002/MALQ.19910370503zbMath0752.68035OpenAlexW2028467243MaRDI QIDQ3982257

Ulrich Huckenbeck

Publication date: 26 June 1992

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19910370503

zbMATH Keywords

decidabilitycomputabilityreal RAM

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

This page was built for publication: Some Elementary Results About the Equivalence of Computability and Decidability