Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

39 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 ö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?
  2. Detailansicht für Treffer 2 ö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?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 ö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?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 ö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?
  8. Detailansicht für Treffer 8 ö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?
  9. Detailansicht für Treffer 9 ö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?
  10. Detailansicht für Treffer 10 ö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?
  11. Detailansicht für Treffer 11 öffnen
    jsCoq: Towards Hybrid Theorem Proving Interfaces
    Emilio Jesús Gallego Arias ; Pin, Benoît ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 239 (2017), Heft Proc. UITP 2016, S. 15-27
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
    Ekici, Burak ; Katz, Guy ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 210 (2016-06-01), Heft Proc. HaTT 2016, S. 21-29
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Correct-by-construction model composition: Application to the Invasive Software Composition method
    Mounira Kezadri Hamiaz ; Pantel, Marc ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 147 (2014-04-01), Heft Proc. FESCA 2014, S. 108-122
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Performing Implicit Induction Reasoning with Certifying Proof Environments
    Stratulat, Sorin ; Henaien, Amira
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 122 (2013-07-01), Heft Proc. SCSS 2012, S. 97-108
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints
    Kothari, Sunil ; Caldwell, James
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 42 (2010-12-01), Heft Proc. UNIF 2010, S. 24-38
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
    Rusu, Vlad ; Nowak, David
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-01), Heft Proc. FROM 2019, S. 32-47
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)
    Mohamed Yacine El Haddad ; Burel, Guillaume ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 301 (2019-08-01), Heft Proc. PxTP 2019, S. 27-35
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Sharing a Library between Proof Assistants: Reaching out to the HOL Family
    Thiré, François
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), Heft Proc. LFMTP 2018, S. 57-71
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras
    Li, Liyi ; Gunter, Elsa
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 265 (2018-02-01), Heft Proc. WPTE 2017, S. 20-34
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Determinism in the Certification of UNSAT Proofs
    Libal, Tomer ; Steele, Xaviera
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 262 (2017-12-01), Heft Proc. PxTP 2017, S. 55-76
    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 -