Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

107 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
    Moiseenko, Evgenii A. ; Gladstein, Vladimir P. ; et al.
    In: Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Jg. 22 (2022-06-01), Heft 3, S. 517-527
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    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, Jg. ume 18, Issue 2 (2022-06-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Hilbert's Tenth Problem in Coq (Extended Version)
    Larchey-Wendling, Dominique ; Forster, Yannick
    In: Logical Methods in Computer Science, Jg. ume 18, Issue 1 (2022-03-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A Library for Algorithmic Game Theory in Ssreflect/Coq
    Bagnall, Alexander ; Merten, Samuel ; et al.
    In: Journal of Formalized Reasoning, Jg. 10 (2017-12-01), Heft 1, S. 67-95
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers
    Grimm, José
    In: Journal of Formalized Reasoning, Jg. 9 (2016-12-01), Heft 2, S. 1-52
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning
    Alessi, Fabio ; Ciaffaglione, Alberto ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 307 (2019-10-01), Heft Proc. LFMTP 2019, S. 8-23
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)
    Ekici, Burak ; Viswanathan, Arjun ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 301 (2019-08-01), Heft Proc. PxTP 2019, S. 18-26
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    LF+ in Coq for 'fast and loose' reasoning
    Alessi, Fabio ; Ciaffaglione, Alberto ; et al.
    In: Journal of Formalized Reasoning, Jg. 12 (2019-12-01), Heft 1, S. 11-51
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Computable analysis and notions of continuity in Coq
    Steinberg, Florian ; Thery, Laurent ; et al.
    In: Logical Methods in Computer Science, Jg. ume 17, Issue 2 (2021-05-01)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Learning how to Prove: From the Coq Proof Assistant to Textbook Style
    Böhne, Sebastian ; Kreitz, Christoph
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 267 (2018-03-01), Heft Proc. ThEdu 2017, S. 1-18
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    QWIRE Practice: Formal Verification of Quantum Circuits in Coq
    Rand, Robert ; Paykin, Jennifer ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 266 (2018-02-01), Heft Proc. QPL 2017, S. 119-132
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    An Existence Theorem of Nash Equilibrium in Coq and Isabelle
    Stéphane Le Roux ; Martin-Dorel, Érik ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 256 (2017-09-01), Heft Proc. GandALF 2017, S. 46-60
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model
    Fontaine, A. ; Zemmari, A.
    In: Scientific Annals of Computer Science, Jg. XXVI (2016-12-01), Heft 2, S. 157-186
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Towards the Integration of an Intuitionistic First-Order Prover into Coq
    Kunze, Fabian
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 210 (2016-06-01), Heft Proc. HaTT 2016, S. 30-35
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Goal Translation for a Hammer for Coq (Extended Abstract)
    Czajka, Łukasz ; Kaliszyk, Cezary
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 210 (2016-06-01), Heft Proc. HaTT 2016, S. 13-20
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Formalization of Quantum Protocols using Coq
    Boender, Jaap ; Kammüller, Florian ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 195 (2015-11-01), Heft Proc. QPL 2015, S. 71-83
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Mixing HOL and Coq in Dedukti (Extended Abstract)
    Assaf, Ali ; Cauderlier, Raphaël
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 186 (2015-07-01), Heft Proc. PxTP 2015, S. 89-96
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    PIDE for Asynchronous Interaction with Coq
    Tankink, Carst
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 167 (2014-10-01), Heft Proc. UITP 2014, S. 73-83
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Formalized linear algebra over Elementary Divisor Rings in Coq
    Cano, Guillaume ; Cohen, Cyril ; et al.
    In: Logical Methods in Computer Science, Jg. ume 12, Issue 2 (2016-06-01)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Sets in Coq, Coq in Sets
    Barras, Bruno
    In: Journal of Formalized Reasoning, Jg. 3 (2010), Heft 1, S. 29-48
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -