scientific article
From MaRDI portal
Publication:3816069
zbMath0665.03036MaRDI QIDQ3816069
No author found.
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abstract data typesenumeration operatoreffective functionalscomputable objectsdomain P\(\omega \) of higher types
Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)
Related Items (1)
This page was built for publication: