Konstruktion nichtrekursiver Funktionen
From MaRDI portal
Publication:1840348
Cited in
(7)- Proof of a Conjecture of Routledge
- On automorphisms of arbitrary mathematical systems
- The theory of recursive functions, approaching its centennial
- The Ackermann functions are not optimal, but by how much?
- Nicht konstruktiv beweisbare Sätze der Analysis
- Quantum data structure for range minimum query
- An example of general recursive well-ordering which is not primitive recursive
This page was built for publication: Konstruktion nichtrekursiver Funktionen
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840348)