Zum Inhalt springen

  6. Hölzl, Rupert [VerfasserIn]; Jain, Sanjay [VerfasserIn]; Stephan, Frank [VerfasserIn] ; Rupert Hölzl and Sanjay Jain and Frank Stephan [MitwirkendeR]

    Inductive Inference and Reverse Mathematics

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  9. Böröczky, Károly J. [VerfasserIn]; Hug, Daniel [VerfasserIn]

    A reverse Minkowski-type inequality

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    American Mathematical Society, 2021-02-19

    Erschienen in: Proceedings of the American Mathematical Society, 148 (11), 4907–4922 ; ISSN: 0002-9939, 1088-6826

  13. Kolodziejczyk, Leszek Aleksander [VerfasserIn]; Michalewski, Henryk [VerfasserIn]; Pradic, Pierre [VerfasserIn]; Skrzypczak, Michal [VerfasserIn] ; Leszek Aleksander Kolodziejczyk and Henryk Michalewski and Pierre Pradic and Michal Skrzypczak [MitwirkendeR]

    The Logical Strength of Büchi's Decidability Theorem

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  14. Heinatsch, C. (Christoph) [VerfasserIn] ; Pohlers, W. (Wolfram) [MitwirkendeR]; Universitäts- und Landesbibliothek Münster [MitwirkendeR]

    Pi 1 2 -comprehension and the property of Ramsey

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Münster University (WWU): miami, 2008-02-14

  15. Pradic, Cécilia [VerfasserIn] ; Lyon [MitwirkendeR]; Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechanik [MitwirkendeR]; Riba, Colin [MitwirkendeR]; Michalewski, Henryk [MitwirkendeR]

    Some proof-theoretical approaches to Monadic Second-Order logic ; Quelques liens entre logique Monadique du Second Ordre et théorie de la démonstration

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-06-23

  16. Brattka, Vasco [VerfasserIn]; Kawamura, Akitoshi [VerfasserIn]; Marcone, Alberto [VerfasserIn]; Pauly, Arno [VerfasserIn] ; Vasco Brattka and Akitoshi Kawamura and Alberto Marcone and Arno Pauly [MitwirkendeR]

    Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  17. Anglès d'Auriac, Paul-Elliot [VerfasserIn] ; Paris Est [MitwirkendeR]; Valarcher, Pierre [MitwirkendeR]; Monin, Benoît [MitwirkendeR]

    Infinite Computations in Algorithmic Randomness and Reverse Mathematics ; Calcul infini dans l'aléatoire algorithmique et les mathématiques à rebours

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-11-22

  19. Pinault, Laureline [VerfasserIn] ; Lyon [MitwirkendeR]; Pous, Damien [MitwirkendeR]

    From automata to cyclic proofs : equivalence algorithms and descriptive complexity ; Des automates aux preuves cycliques : algorithmes d’équivalence et complexité descriptive

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-07-23

  20. Werner, Edith Benedicta Maria [VerfasserIn] ; Grabowski, Jens [MitwirkendeR]; Waack, Stephan [MitwirkendeR]

    Learning Finite State Machine Specifications from Test Cases ; Lernen von Spezifikationen in Form von endlichen Zustandsmaschinen aus Testfällen

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Georg-August-Universität Göttingen: eDiss, 2013-01-30T23:50:54Z