ABSTRAKTE TEMPOMASZE UND SPEED‐UP‐THEOREMEA FÜR ENUMERATIONEN REKURSIV‐AUFZÄHLBARER MENGEN
From MaRDI portal
Publication:3222172
DOI10.1002/malq.19840301703zbMath0557.03022OpenAlexW2009702322MaRDI QIDQ3222172
Publication date: 1984
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19840301703
This page was built for publication: ABSTRAKTE TEMPOMASZE UND SPEED‐UP‐THEOREMEA FÜR ENUMERATIONEN REKURSIV‐AUFZÄHLBARER MENGEN