Order:
  1.  39
    Castor quadruplorum.Arnold Oberschelp, Karsten Schmidt-Göttsch & Günter Todt - 1988 - Archive for Mathematical Logic 27 (1):35-44.
    The busy beaver problem of Rado [6] is reexamined for the case of Turing machines given by quadruples rather than quintuples. Moreover several printing symbols are allowed. Some values of the corresponding beaver function are given and it is shown that this function for a fixed number of states and varying number of symbols is nonrecursive for three or more states and recursive for two states. As a byproduct we get that the minimal number of states in a universal Turing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  17
    Klassentheoretische Paare.Arnold Oberschelp & Günter Todt - 1981 - Mathematical Logic Quarterly 27 (36):565-568.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  27
    Klassentheoretische Paare.Arnold Oberschelp & Günter Todt - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):565-568.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Fuzzy logic and modal logic.Günter Todt - 1983 - In Thomas T. Ballmer & Manfred Pinkal (eds.), Approaching Vagueness. Elsevier. pp. 213--260.
     
    Export citation  
     
    Bookmark   1 citation