Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
34 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Sprache

34 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Mechanizing Matching Logic In Coq
    Bereczky, Péter ; Chen, Xiaohong ; et al.
    2022
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
    Kirst, Dominik ; Larchey-Wendling, Dominique
    In: Logical Methods in Computer Science, Vol Volume 18, Issue 2 (2022, 2022
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Lebesgue Induction and Tonelli's Theorem in Coq
    Boldo, Sylvie ; Clément, François ; et al.
    2022
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    General Automation in Coq through Modular Transformations
    Blot, Valentin ; de Prisque, Louise Dubois ; et al.
    2021
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq
    Frumin, Dan
    2021
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Formalising a Turing-Complete Choreographic Language in Coq
    Cruz-Filipe, Luís ; Montesi, Fabrizio ; et al.
    2021
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Church's thesis and related axioms in Coq's type theory
    Forster, Yannick
    2020
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Experience Implementing a Performant Category-Theory Library in Coq
    Gross, Jason ; Chlipala, Adam ; et al.
    2014
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Formalization of Quantum Protocols using Coq
    Boender, Jaap ; Kammüller, Florian ; et al.
    2015
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Essential Incompleteness of Arithmetic Verified by Coq
    O'Connor, Russell
    2005
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
    Forster, Yannick ; Kirst, Dominik ; et al.
    2023
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Introduction to Pylog
    Protin, Clarence Lewis
    2023
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
    Dudenhefner, Andrej
    2022
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version)
    Forster, Yannick ; Kirst, Dominik ; et al.
    2020
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Revisiting Parametricity: Inductives and Uniformity of Propositions
    Anand, Abhishek ; Morrisett, Greg
    2017
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
    Gregersen, Simon Oddershede ; Aguirre, Alejandro ; et al.
    2023
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Towards a geometry for syntax
    Sterling, Jonathan
    2023
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Translating proofs from an impredicative type system to a predicative one
    Felicissimo, Thiago ; Blanqui, Frédéric ; et al.
    2022
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs
    Ying, Mingsheng
    2022
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Verified Double Sided Auctions for Financial Markets
    Natarajan, Raja ; Sarswat, Suneel ; et al.
    2021
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -