Oracle programming in a higher level language
From MaRDI portal
Publication:5967040
zbMath0924.03067MaRDI QIDQ5967040
Publication date: 28 October 1999
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
Turing machines and related notions (03D10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication: Oracle programming in a higher level language