scientific article; zbMATH DE number 5263151
From MaRDI portal
Publication:5457390
zbMath1139.03033MaRDI QIDQ5457390
Publication date: 14 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Theory of numerations, effectively presented structures (03D45)
Related Items (3)
Some results related to the continuity problem ⋮ Program Self-reference in Constructive Scott Subdomains ⋮ Program self-reference in constructive Scott subdomains
This page was built for publication:
