Search dblp for Publications

export results for "toc:db/journals/aml/aml18.bht:"

 download as .bib file

@article{DBLP:journals/aml/Buchholz77,
  author       = {Wilfried Von Buchholz},
  title        = {{\"{U}}ber Teilsysteme von ['(Q)](\{\emph{g}\})},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {85--98},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007261},
  doi          = {10.1007/BF02007261},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Buchholz77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Carstens77,
  author       = {Hans Georg Von Carstens},
  title        = {{\(\Delta\)}\({}_{\mbox{2}}\)\({}^{\mbox{0}}\)-Mengen},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {55--65},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007257},
  doi          = {10.1007/BF02007257},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Carstens77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Cowles77,
  author       = {J. Cowles},
  title        = {The theory of differentially closed fields in logics with cardinal
                  quantifiers},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {105--114},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007263},
  doi          = {10.1007/BF02007263},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Cowles77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Georgieva77,
  author       = {Nadejda Georgieva},
  title        = {Another simplification of the recursion scheme},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {1--3},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007251},
  doi          = {10.1007/BF02007251},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Georgieva77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Gillam77,
  author       = {David W. H. Gillam},
  title        = {Saturation and omitting types},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {5--18},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007252},
  doi          = {10.1007/BF02007252},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Gillam77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Gurevich77,
  author       = {Yuri Gurevich},
  title        = {Semi-conservative reduction},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {23--25},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007254},
  doi          = {10.1007/BF02007254},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Gurevich77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/HindleyM77,
  author       = {Roger Hindley and
                  Gerd Mitschke},
  title        = {Some remarks about the connections between Combinatory Logic and axiomatic
                  recursion theory},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {99--103},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007262},
  doi          = {10.1007/BF02007262},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/HindleyM77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Lorenzen77,
  author       = {Paul Lorenzen},
  title        = {Die Vollst{\"{a}}ndigkeit einer unverzweigten Variante des "analytischen"
                  Entscheidungsverfahrens der klassischen Logik},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {19--22},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007253},
  doi          = {10.1007/BF02007253},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Lorenzen77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Luckhardt77,
  author       = {Horst Von Luckhardt},
  title        = {{\"{U}}ber das Markov-Prinzip},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {73--80},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007259},
  doi          = {10.1007/BF02007259},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Luckhardt77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Luckhardt77a,
  author       = {Horst Luckhardt},
  title        = {{\"{U}}ber das Markov-Prinzip {II}},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {147--157},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007267},
  doi          = {10.1007/BF02007267},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Luckhardt77a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Maass77,
  author       = {Wolfgang Maa{\ss}},
  title        = {Eine Funktionalinterpretation der pr{\"{a}}dikativen Analysis},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {27--46},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007255},
  doi          = {10.1007/BF02007255},
  timestamp    = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Maass77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Maass77a,
  author       = {Wolfgang Maass},
  title        = {On minimal pairs and minimal degrees in higher recursion theory},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {169--186},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007269},
  doi          = {10.1007/BF02007269},
  timestamp    = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Maass77a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/MakowskyT77,
  author       = {Johann A. Makowsky and
                  Sauro Tulipani},
  title        = {Some model theory for monotone quantifiers},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {115--134},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007264},
  doi          = {10.1007/BF02007264},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/MakowskyT77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/McLaughlin77,
  author       = {T. G. Von McLaughlin},
  title        = {A partial comparison of two conditions on the intersections of regressive
                  sets},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {159--167},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007268},
  doi          = {10.1007/BF02007268},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/McLaughlin77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Potthoff77,
  author       = {Klaus Potthoff},
  title        = {A simple tree lemma and its application to a counterexample of Philips},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {67--71},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007258},
  doi          = {10.1007/BF02007258},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Potthoff77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schmidt77,
  author       = {Diana Schmidt},
  title        = {Built-up systems of fundamental sequences and hierarchies of number-theoretic
                  functions},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {47--53},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007256},
  doi          = {10.1007/BF02007256},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schmidt77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schmidt77a,
  author       = {Diana Schmidt},
  title        = {Postscript to "built-up systems of fundamental sequences and hierarchies
                  of number-theoretic functions"},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {145--146},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007266},
  doi          = {10.1007/BF02007266},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schmidt77a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schonfeld77,
  author       = {Von W. Sch{\"{o}}nfeld},
  title        = {Eine algebraische Konstruktion abz{\"{a}}hlbarer Modelle},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {135--144},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007265},
  doi          = {10.1007/BF02007265},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schonfeld77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Vogel77,
  author       = {Helmut Von Vogel},
  title        = {Ein starker Normalisationssatz f{\"{u}}r die bar-rekursiven Funktionale},
  journal      = {Arch. Math. Log.},
  volume       = {18},
  number       = {1},
  pages        = {81--84},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF02007260},
  doi          = {10.1007/BF02007260},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Vogel77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.