scientific article; zbMATH DE number 1841818

zbMath0999.03041MaRDI QIDQ4783306

Oleg V. Kudinov, Margarita Korovina

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420160

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (3)

On Σ‐definability without equality over the real numbers ⋮ Fixed Points on the Real Numbers without the Equality Test ⋮ Remarks on Σ–definability without the equality test over the Reals

This page was built for publication: