Zum Inhalt springen

  2. Forster, Yannick [Verfasser:in]; Kirst, Dominik [Verfasser:in]; Mück, Niklas [Verfasser:in] ; Yannick Forster and Dominik Kirst and Niklas Mück [Mitwirkende:r]

    The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions

    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, 2024

  4. Chollet, Agathe [Verfasser:in] ; La Rochelle [Mitwirkende:r]; Wallet, Guy [Mitwirkende:r]; Andres, Éric [Mitwirkende:r]

    Formalismes non classiques pour le traitement informatique de la topologie et de la géométrie discrète ; Non classical formalisms for the computing treatment of the topoligy and the discrete geometry

    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, 2010-12-07

  15. Booij, Auke B. [Verfasser:in]; Escardó, Martín H. [Verfasser:in]; Lumsdaine, Peter LeFanu [Verfasser:in]; Shulman, Michael [Verfasser:in] ; Auke B. Booij and Martín H. Escardó and Peter LeFanu Lumsdaine and Michael Shulman [Mitwirkende:r]

    Parametricity, Automorphisms of the Universe, and Excluded Middle

    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, 2018

  16. Bauer, Andrej [Verfasser:in]; Hertling, Peter [Verfasser:in]; Ko, Ker-I [Verfasser:in] ; Andrej Bauer and Peter Hertling and Ker-I Ko [Mitwirkende:r]

    CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis

    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, 2009

  17. Bauer, Andrej [Verfasser:in]; Hertling, Peter [Verfasser:in]; Ko, Ker-I [Verfasser:in] ; Andrej Bauer and Peter Hertling and Ker-I Ko [Mitwirkende:r]

    CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis

    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, 2009