Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

57 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    A Coq Formalisation of SQL's Execution Engines.
    Benzaken, Véronique ; Contejean, Evelyne ; et al.
    In: ITP, 2018, S. 88-107
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    Formalizing Implicative Algebras in Coq.
    Miquey, étienne
    In: ITP, 2018, S. 459-476
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    A Coq Tactic for Equality Learning in Linear Arithmetic.
    Boulmé, Sylvain ; Maréchal, Alexandre
    In: ITP, 2018, S. 108-125
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    Towards Certified Meta-Programming with Typed Template-Coq.
    Anand, Abhishek ; Boulier, Simon ; et al.
    In: ITP, 2018, S. 20-39
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq.
    Yannick Forster 0002 ; Smolka, Gert
    In: ITP, 2017, S. 189-206
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    A Formal Proof in Coq of LaSalle's Invariance Principle.
    Cohen, Cyril ; Rouhling, Damien
    In: ITP, 2017, S. 148-163
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    Typing Total Recursive Functions in Coq.
    Larchey-Wendling, Dominique
    In: ITP, 2017, S. 371-388
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    Modular Dependent Induction in Coq, Mendler-Style.
    Torrini, Paolo
    In: ITP, 2016, S. 409-424
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 öffnen
    Two-Way Automata in Coq.
    Doczkal, Christian ; Smolka, Gert
    In: ITP, 2016, S. 151-166
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 30 öffnen
    Cardinalities of Finite Relations in Coq.
    Brunet, Paul ; Pous, Damien ; et al.
    In: ITP, 2016, S. 466-474
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 31 öffnen
    HOCore in Coq.
    Maksimovic, Petar ; Schmitt, Alan
    In: ITP, 2015, S. 278-293
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 32 öffnen
    ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages.
    Sieczkowski, Filip ; Bizjak, Ales ; et al.
    In: ITP, 2015, S. 375-390
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 33 öffnen
    Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface.
    Barras, Bruno ; Tankink, Carst ; et al.
    In: ITP, 2015, S. 51-66
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 34 öffnen
    Experience Implementing a Performant Category-Theory Library in Coq.
    Gross, Jason ; Chlipala, Adam ; et al.
    In: ITP, 2014, S. 275-291
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 35 öffnen
    A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction.
    Emoto, Kento ; Loulergue, Frédéric ; et al.
    In: ITP, 2014, S. 258-274
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 36 öffnen
    Completeness and Decidability Results for CTL in Coq.
    Doczkal, Christian ; Smolka, Gert
    In: ITP, 2014, S. 226-241
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 37 öffnen
    A Coq Formalization of Finitely Presented Modules.
    Cohen, Cyril ; Mörtberg, Anders
    In: ITP, 2014, S. 193-208
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 38 öffnen
    Formalized, Effective Domain Theory in Coq.
    Dockins, Robert
    In: ITP, 2014, S. 209-225
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 39 öffnen
    Universe Polymorphism in Coq.
    Sozeau, Matthieu ; Tabareau, Nicolas
    In: ITP, 2014, S. 499-514
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 40 öffnen
    A Formal Library for Elliptic Curves in the Coq Proof Assistant.
    Bartzia, Evmorfia-Iro ; Strub, Pierre-Yves
    In: ITP, 2014, S. 77-92
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -