scientific article; zbMATH DE number 1841818
From MaRDI portal
Publication:4783306
zbMATH Open0999.03041MaRDI QIDQ4783306FDOQ4783306
Authors: Oleg Kudinov, M. V. Korovina
Publication date: 4 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420160
Title of this publication is not available (Why is that?)
Recommendations
Abstract and axiomatic computability and recursion theory (03D75) Constructive and recursive analysis (03F60)
Cited In (6)
- Remarks on \(\Sigma\)-definability without the equality test over the reals
- Fixed points on the real numbers without the equality test
- Sequential real number computation and recursive relations
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Σ‐definability without equality over the real numbers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783306)