scientific article; zbMATH DE number 5263149
From MaRDI portal
Publication:5457388
zbMath1137.03035MaRDI QIDQ5457388
Publication date: 14 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other constructive mathematics (03F65) Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75)
Related Items (4)
Atomicity, coherence of information, and point-free structures ⋮ Towards the computational complexity of \(\mathcal{PR}^ \omega\)-terms ⋮ Normal forms, linearity, and prime algebraicity over nonflat domains ⋮ Nonflatness and totality
This page was built for publication:
