Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Publikation

Sprache

569 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coq Formalization of ZFC Set Theory for Teaching Scenarios.
    Wan, Xinyi ; Xu, Ke ; et al.
    In: International Journal of Software & Informatics, Jg. 13 (2023-07-01), Heft 3, S. 323-357
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
    HASELWARTER, PHILIPP G. ; RIVAS, EXEQUIEL ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry.
    Braun, David ; Magaud, Nicolas ; et al.
    In: Journal of Automated Reasoning, Jg. 68 (2024-03-01), Heft 1, S. 1-29
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.
    Shi, Wenjun ; Cao, Qinxiang ; et al.
    In: Journal of Circuits, Systems & Computers, Jg. 33 (2024-04-01), Heft 6, S. 1-25
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Enabling Floating-Point Arithmetic in the Coq Proof Assistant.
    Martin-Dorel, Érik ; Melquiond, Guillaume ; et al.
    In: Journal of Automated Reasoning, Jg. 67 (2023-12-01), Heft 4, S. 1-30
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    COMPUTABLE ANALYSIS AND NOTIONS OF CONTINUITY IN COQ.
    STEINBERG, FLORIAN ; THÉRY, LAURENT ; et al.
    In: Logical Methods in Computer Science (LMCS), Jg. 17 (2021-04-01), Heft 2, S. 1-43
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq.
    Kirst, Dominik ; Hermes, Marc
    In: Journal of Automated Reasoning, Jg. 67 (2023-03-01), Heft 1, S. 1-31
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    TRAKHTENBROT'S THEOREM IN COQ: FINITE MODEL THEORY THROUGH THE CONSTRUCTIVE LENS.
    KIRST, DOMINIK ; LARCHEY-WENDLING, DOMINIQUE
    In: Logical Methods in Computer Science (LMCS), Jg. 18 (2022-04-01), Heft 2, S. 1-29
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    CoqTL: a Coq DSL for rule-based model transformation.
    Cheng, Zheng ; Tisi, Massimo ; et al.
    In: Software & Systems Modeling, Jg. 19 (2020-03-01), Heft 2, S. 425-439
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Natural deduction and semantic models of justification logic in the proof assistant Coq.
    Guzmán, Jesús Mauricio Andrade ; Quiroz, Francisco Hernández
    In: Logic Journal of the IGPL, Jg. 28 (2020-12-01), Heft 6, S. 1077-1092
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Volltext
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Formal Verification of Helicopter Automatic Landing Control Algorithm in Theorem Prover Coq.
    Chen, Xi ; Chen, Gang
    In: International Journal of Performability Engineering, Jg. 14 (2018-09-01), Heft 9, S. 1947-1957
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Reasoning about logical systems in the Coq proof assistant.
    Reynolds, Conor ; Monahan, Rosemary
    In: Science of Computer Programming, Jg. 233 (2024-03-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    A Coq Formalization of Lebesgue Integration of Nonnegative Functions.
    Boldo, Sylvie ; Clément, François ; et al.
    In: Journal of Automated Reasoning, Jg. 66 (2022-05-01), Heft 2, S. 175-213
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Is sized typing for Coq practical?
    CHAN, JONATHAN ; LI, YUFENG ; et al.
    In: Journal of Functional Programming, Jg. 33 (2023), S. 1-55
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Symbolic Reasoning About Quantum Circuits in Coq.
    Shi, Wen-Jun ; Cao, Qin-Xiang ; et al.
    In: Journal of Computer Science & Technology (10009000), Jg. 36 (2021-12-01), Heft 6, S. 1291-1306
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    FORMALIZED LINEAR ALGEBRA OVER ELEMENTARY DIVISOR RINGS IN COQ.
    CANO, GUILLAUME ; COHEN, CYRIL ; et al.
    In: Logical Methods in Computer Science (LMCS), Jg. 12 (2016-06-01), Heft 2, S. 1-29
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Extracting functional programs from Coq, in Coq.
    ANNENKOV, DANIL ; MILO, MIKKEL ; et al.
    In: Journal of Functional Programming, Jg. 32 (2022), S. 1-60
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    CoqMatrix: Formal matrix library with multiple models in Coq.
    Shi, Zheng ; Pu ; et al.
    In: Journal of Systems Architecture, Jg. 143 (2023-10-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Bringing Coq into the World of GCM Distributed Applications.
    Gaspar, Nuno ; Henrio, Ludovic ; et al.
    In: International Journal of Parallel Programming, Jg. 42 (2014-08-01), Heft 4, S. 643-662
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant.
    DANVY, OLIVIER
    In: Journal of Functional Programming, Jg. 32 (2022), S. 1-27
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -