Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

151.528 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    基于COQ的有限域GF(2n)的形式化研究
    范永乾;陈钢;崔敏
    In: 计算机科学 / Computer Science, Jg. 47 (2020), Heft 12, S. 311
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 62 ö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 63 öffnen
    Formalizing Correct-by-Construction Casper in Coq
    Li, Elaine ; Serbanuta, Traian ; et al.
    In: 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2020-05-01, S. 1-3
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 64 ö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?
  5. Detailansicht für Treffer 65 öffnen
    A Formal System of Axiomatic Set Theory in Coq
    Sun, T. ; Yu, W.
    In: IEEE Access, Jg. 8 (2020), S. 21510-21523
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 66 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  7. Detailansicht für Treffer 67 öffnen
    Type- Theoretical Foundations of the Derivation System in Coq
    Lenko, Vasyl ; Pasichnyk, Volodymyr ; et al.
    In: 2018 IEEE First International Conference on System Analysis & Intelligent Computing (SAIC), 2018-10-01, S. 1-6
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 68 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  9. Detailansicht für Treffer 69 öffnen
    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
    Abate, Carmine ; Haselwarter, Philipp G. ; et al.
    In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021-06-01, S. 1-15
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 70 öffnen
    Security Verification Method of Embedded Operating System Semaphore Mechanism based on Coq
    Chen, Xi ; Qiao, Lei ; et al.
    In: 2021 2nd International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE), 2021-09-01, S. 392-395
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 71 öffnen
    A Generic Coq Proof of Typical Worst-Case Analysis
    Fradet, Pascal ; Lesourd, Maxime ; et al.
    In: 2018 IEEE Real-Time Systems Symposium (RTSS), 2018-12-01, S. 218-229
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 72 öffnen
    Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
    Chappe, Nicolas ; He, Paul ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 73 öffnen
    Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.
    Shi, Wenjun ; Cao, Qinxiang ; et al.
    In: J. Circuits Syst. Comput., Jg. 33 (2024), Heft 6, S. 1-25
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 74 öffnen
    A Formalization of Core Why3 in Coq.
    Cohen, Joshua M. ; Johnson-Freyd, Philip
    In: Proc. ACM Program. Lang., Jg. 8 (2024), Heft POPL, S. 1789-1818
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 75 öffnen
    CoQ Regulates Brown Adipose Tissue Respiration and Uncoupling Protein 1 Expression
    Chang, Ching-Fang ; Gunawan, Amanda L ; et al.
    In: Antioxidants, Jg. 12 (2023), Heft 1
    Online academicJournal
    Zugriff:
    View record in eScholarship (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 76 öffnen
    Conversão para Why3 de formalizações em Coq
    Ferreira, Bárbara Andreia Cardoso ; Pinto, Jorge Sousa ; et al.
    2021
    Online unknown
    Zugriff:
    View record in RCAAP (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 77 ö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
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 78 öffnen
    COQ, Laurent: At Barloyd's
    Duke, Vernon, Composer ; Monk, Thelonious, Composer ; et al.
    2021
    Audio
    Wie komme ich dran?
  19. Detailansicht für Treffer 79 öffnen
    A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem : Formal methods (25th International symposium, FM 2023)
    Boldo, Sylvie ; Clément, François ; et al.
    In: Lecture notes in computer science, Jg. 14000 (2023), S. 39-55
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 80 öffnen
    Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq: Extended Version
    Kirst, Dominik ; Hermes, Marc
    In: Journal of Automated Reasoning, Jg. 67 (2023-03-01), Heft 1
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -