28 found
Order:
  1.  5
    Berechenbare Reelle Funktionen.Jürgen Hauck - 1973 - Mathematical Logic Quarterly 19 (8‐10):121-140.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  21
    Berechenbare Reelle Funktionen.Jürgen Hauck - 1973 - Mathematical Logic Quarterly 19 (8-10):121-140.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  3
    Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis.Jürgen Hauck - 1981 - Mathematical Logic Quarterly 27 (25‐30):473-480.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  20
    Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis.Jürgen Hauck - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):473-480.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  4
    Berechenbare Reelle Funktionenfolgen.Jürgen Hauck - 1976 - Mathematical Logic Quarterly 22 (1):265-282.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  23
    Berechenbare Reelle Funktionenfolgen.Jürgen Hauck - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):265-282.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  9
    Eine Berechenbare Funktion Mit Rationalen Werten, Die Nicht Rekursiv Ist.Jürgen Hauck - 1987 - Mathematical Logic Quarterly 33 (3):255-256.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  21
    Eine Berechenbare Funktion Mit Rationalen Werten, Die Nicht Rekursiv Ist.Jürgen Hauck - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):255-256.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  7
    Ein Kriterium für die Annahme des Maximums in der Berechenbaren Analysis.Jürgen Hauck - 1971 - Mathematical Logic Quarterly 17 (1):193-196.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    Ein Kriterium für die Konstruktive Lösbarkeit der Differentialgleichung y' = f(x, y).Jürgen Hauck - 1985 - Mathematical Logic Quarterly 31 (21‐23):357-362.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  30
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  20
    Ein Kriterium für die Konstruktive Lösbarkeit der Differentialgleichungy' =f.Jürgen Hauck - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (21-23):357-362.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  20
    Ein Kriterium für die Annahme des Maximums in der Berechenbaren Analysis.Jürgen Hauck - 1971 - Mathematical Logic Quarterly 17 (1):193-196.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  4
    Eine neue definition berechenbarer reeller funktionen.Jürgen Hauck - 1984 - Mathematical Logic Quarterly 30 (17‐18):259-268.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  17
    Eine Neue Definition Berechenbarer Reeller Funktionen.Jürgen Hauck - 1984 - Mathematical Logic Quarterly 30 (17-18):259-268.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  5
    Funktional‐Rekursion.Jürgen Hauck - 1972 - Mathematical Logic Quarterly 18 (1‐3):31-36.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  21
    Funktional‐Rekursion.Jürgen Hauck - 1972 - Mathematical Logic Quarterly 18 (1-3):31-36.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  8
    Konstruktive Darstellungen Reeller Zahlen und Folgen.Jürgen Hauck - 1978 - Mathematical Logic Quarterly 24 (19‐24):365-374.
  19.  19
    Konstruktive Darstellungen Reeller Zahlen und Folgen.Jürgen Hauck - 1978 - Mathematical Logic Quarterly 24 (19-24):365-374.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  7
    Konstruktive reelle funktionale und operatoren.Jürgen Hauck - 1983 - Mathematical Logic Quarterly 29 (4):213-218.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  7
    Stetigkeitseigenschaften Berechenbarer Funktionale.Jürgen Hauck - 1982 - Mathematical Logic Quarterly 28 (25‐26):377-383.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  18
    Stetigkeitseigenschaften Berechenbarer Funktionale.Jürgen Hauck - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (25-26):377-383.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  5
    Stetigkeitseigenschaften Berechenbarer Reeller Funktionen.Jürgen Hauck - 1980 - Mathematical Logic Quarterly 26 (1‐6):69-76.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  20
    Stetigkeitseigenschaften Berechenbarer Reeller Funktionen.Jürgen Hauck - 1980 - Mathematical Logic Quarterly 26 (1-6):69-76.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  6
    Zur Präzisierung des Begriffes Berechenbare Reelle Funktion.Jürgen Hauck - 1971 - Mathematical Logic Quarterly 17 (1):295-300.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  21
    Zur Präzisierung des Begriffes Berechenbare Reelle Funktion.Jürgen Hauck - 1971 - Mathematical Logic Quarterly 17 (1):295-300.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  16
    Zur wellengleichung mit konstruktiven randbedingungen.Jürgen Hauck - 1984 - Mathematical Logic Quarterly 30 (36):561-566.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  21
    Zur wellengleichung mit konstruktiven randbedingungen.Jürgen Hauck - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (36):561-566.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark