Zum Inhalt springen

  1. Blanchette, Jasmin Christian [VerfasserIn]; Fleury, Mathias [VerfasserIn]; Traytel, Dmitriy [VerfasserIn] ; Jasmin Christian Blanchette and Mathias Fleury and Dmitriy Traytel [MitwirkendeR]

    Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

    Aufsätze
    Online ansehen
    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, 2017

  2. Contejean, Évelyne [VerfasserIn]; Courtieu, Pierre [VerfasserIn]; Forest, Julien [VerfasserIn]; Pons, Olivier [VerfasserIn]; Urbain, Xavier [VerfasserIn] ; Évelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain [MitwirkendeR]

    Automated Certified Proofs with CiME3

    Aufsätze
    Online ansehen
    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, 2011

  3. Grabowski, Adam [VerfasserIn]; Korniłowicz, Artur [VerfasserIn] ; Adam Grabowski and Artur Korniłowicz [MitwirkendeR]

    Implementing More Explicit Definitional Expansions in Mizar (Short Paper)

    Aufsätze
    Online ansehen
    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, 2023

  4. Guilloud, Simon [VerfasserIn]; Gambhir, Sankalp [VerfasserIn]; Kunčak, Viktor [VerfasserIn] ; Simon Guilloud and Sankalp Gambhir and Viktor Kunčak [MitwirkendeR]

    LISA - A Modern Proof System

    Aufsätze
    Online ansehen
    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, 2023

  5. Altenkirch, Thorsten [VerfasserIn]; Kaposi, Ambrus [VerfasserIn]; Šinkarovs, Artjoms [VerfasserIn]; Végh, Tamás [VerfasserIn] ; Thorsten Altenkirch and Ambrus Kaposi and Artjoms Šinkarovs and Tamás Végh [MitwirkendeR]

    The Münchhausen Method in Type Theory

    Aufsätze
    Online ansehen
    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, 2023

  6. Konečný, Michal [VerfasserIn]; Steinberg, Florian [VerfasserIn]; Thies, Holger [VerfasserIn] ; Michal Konečný and Florian Steinberg and Holger Thies [MitwirkendeR]

    Computable Analysis for Verified Exact Real Computation

    Aufsätze
    Online ansehen
    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, 2020

  7. Konečný, Michal [VerfasserIn]; Steinberg, Florian [VerfasserIn]; Thies, Holger [VerfasserIn] ; Michal Konečný and Florian Steinberg and Holger Thies [MitwirkendeR]

    Continuous and Monotone Machines

    Aufsätze
    Online ansehen
    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, 2020

  8. Gilbert, Gaëtan [VerfasserIn] ; Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire [MitwirkendeR]; Tabareau, Nicolas [MitwirkendeR]; Sozeau, Matthieu [MitwirkendeR]

    A type theory with definitional proof-irrelevance ; Une théorie des types avec insignifiance des preuves définitionnelle

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2019-12-20

  9. Cano, Guillaume [VerfasserIn] ; Nice [MitwirkendeR]; Bertot, Yves [MitwirkendeR]

    Interaction entre algèbre linéaire et analyse en formalisation des mathématiques ; Interaction between linear algebra and analysis in formal mathematics

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2014-04-04

  10. Altisen, Karine [VerfasserIn]; Corbineau, Pierre [VerfasserIn]; Devismes, Stéphane [VerfasserIn] ; Karine Altisen and Pierre Corbineau and Stéphane Devismes [MitwirkendeR]

    Certified Round Complexity of Self-Stabilizing Algorithms

    Aufsätze
    Online ansehen
    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, 2023

  11. Accattoli, Beniamino [VerfasserIn]; Blanc, Horace [VerfasserIn]; Sacerdoti Coen, Claudio [VerfasserIn] ; Beniamino Accattoli and Horace Blanc and Claudio Sacerdoti Coen [MitwirkendeR]

    Formalizing Functions as Processes

    Aufsätze
    Online ansehen
    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, 2023