Switch to: References

Add citations

You must login to add citations.
  1. (2 other versions)Predictably computable functionals and definition by recursion.D. L. Kreider & R. W. Ritchie - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (5):65-80.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The Vectorized Grzegorczyk Hierarchy.Steven S. Muchnick - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):441-480.
    Download  
     
    Export citation  
     
    Bookmark  
  • On a theorem of Günter Asser.Cristian S. Calude & Lila Sântean - 1990 - Mathematical Logic Quarterly 36 (2):143-147.
    Recently, G. ASSER has obtained two interesting characterizations of the class of unary primitive recursive string-functions over a fixed alphabet as Robinson algebras. Both characterizations use a somewhat artificial string-function, namely the string-function lexicographically associated with the number-theoretical excess-over-a-square function. Our aim is to offer two new and natural Robinson algebras which are equivalent to ASSER’S algebras.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The Vectorized Grzegorczyk Hierarchy.Steven S. Muchnick - 1976 - Mathematical Logic Quarterly 22 (1):441-480.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (2 other versions)Predictably computable functionals and definition by recursion.D. L. Kreider & R. W. Ritchie - 1964 - Mathematical Logic Quarterly 10 (5):65-80.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Ein Kriterium für die Primitive Rekursivität der Funktional‐Iteration.Jürgen Hauck - 1991 - Mathematical Logic Quarterly 37 (13-16):193-200.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Ein Kriterium für die Primitive Rekursivität der Funktional‐Iteration.Jürgen Hauck - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (13‐16):193-200.
    Download  
     
    Export citation  
     
    Bookmark  
  • Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis.Jürgen Hauck - 1980 - Mathematical Logic Quarterly 26 (36):565-576.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Structure of Loop Programs and Subrecursive Hierarchies.Bernhard Goetze & Werner Nehrlich - 1980 - Mathematical Logic Quarterly 26 (14-18):255-278.
    Download  
     
    Export citation  
     
    Bookmark   1 citation