Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
47 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

Schlagwort

Verlag

Publikation

Sprache

47 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formalising Decentralised Exchanges in Coq
    Eske Hoy Nielsen ; Annenkov, Danil ; et al.
    In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023-01-11
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Reliably Reproducing Machine-Checked Proofs with the Coq Platform
    Palmskog, Karl ; Tassi, Enrico ; et al.
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Coq Formalization of Lebesgue Integration of Nonnegative Functions
    Clément, François ; Martin, Vincent ; et al.
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Semantic cut elimination for the logic of bunched implications, formalized in Coq
    Frumin, Dan ; Popescu, Andrei ; et al.
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A Coq Formalization of the Bochner integral
    Boldo, Sylvie ; Cl��ment, Fran��ois ; et al.
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Extracting smart contracts tested and verified in Coq
    Annenkov, Danil ; Milo, Mikkel ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    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
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    ConCert: A Smart Contract Certification Framework in Coq
    Annenkov, Danil ; Spitters, Bas ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Implementing and Reasoning About Hash-consed Data Structures in Coq
    Braibant, Thomas ; Monniaux, David ; et al.
    In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Implementing hash-consed structures in Coq
    Jourdan, Jacques-Henri ; Braibant, Thomas ; et al.
    2013
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Kleene Algebra with Tests and Coq Tools for while Programs
    Pous, Damien ; Laboratoire de l'Informatique du Parallélisme (LIP) ; et al.
    2013
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Deciding Kleene Algebras in Coq
    Braibant, Thomas ; Pous, Damien ; et al.
    2010
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Generic Environments in Coq
    Polonowski, Emmanuel ; Laboratoire d'Algorithmique Complexité et Logique (LACL) ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
    Blanqui, Frédéric ; Koprowski, Adam ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Inductive and Coinductive Components of Corecursive Functions in Coq
    Komendantskaya, Ekaterina ; Bertot, Yves ; et al.
    2008
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
    Dufourd, Jean-Francois ; Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT) ; et al.
    2008
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Compositional pre-processing for automated reasoning in dependent type theory
    Blot, Valentin ; Cousineau, Denis ; et al.
    2023
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    The Formal Theory of Monads, Univalently
    van der Weide, Niels
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Bicategories in univalent foundations
    Ahrens, Benedikt ; Frumin, Dan ; et al.
    In: Mathematical structures in computer science, Jg. 31 (2022-03-09), Heft SI: 10
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant
    Zimmermann, Théo ; Herbelin, Hugo ; et al.
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -