Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

15 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Hammer for Coq: Automation for Dependent Type Theory
    Czajka, Łukasz ; Kaliszyk, Cezary ; et al.
    In: Journal of Automated Reasoning ; volume 61, issue 1-4, page 423-453 ; ISSN 0168-7433 1573-0670, 2018
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    A Coq Formalization of Lebesgue Integration of Nonnegative Functions
    Boldo, Sylvie ; Clément, François ; et al.
    In: Journal of Automated Reasoning ; ISSN 0168-7433 1573-0670, 2021
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
    Doczkal, Christian ; Pous, Damien ; et al.
    In: Journal of Automated Reasoning ; volume 64, issue 5, page 795-825 ; ISSN 0168-7433 1573-0670, 2020
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    HO$$\pi $$ in Coq
    Ambal, Guillaume ; Lenglet, Sergueï ; et al.
    In: Journal of Automated Reasoning ; volume 65, issue 1, page 75-124 ; ISSN 0168-7433 1573-0670, 2020
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Call-by-Value Lambda Calculus as a Model of Computation in Coq
    Forster, Yannick ; Smolka, Gert
    In: Journal of Automated Reasoning ; volume 63, issue 2, page 393-413 ; ISSN 0168-7433 1573-0670, 2018
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq
    Boutry, Pierre ; Gries, Charly ; et al.
    In: Journal of Automated Reasoning ; volume 62, issue 1, page 1-68 ; ISSN 0168-7433 1573-0670, 2017
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq
    Martin-Dorel, Érik ; Melquiond, Guillaume ; et al.
    In: Journal of Automated Reasoning ; volume 57, issue 3, page 187-217 ; ISSN 0168-7433 1573-0670, 2015
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Implementing and Reasoning About Hash-consed Data Structures in Coq
    Braibant, Thomas ; Jourdan, Jacques-Henri ; et al.
    In: Journal of Automated Reasoning ; volume 53, issue 3, page 271-304 ; ISSN 0168-7433 1573-0670, 2014
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Theorem of Three Circles in Coq
    Zsidó, Julianna
    In: Journal of Automated Reasoning ; volume 53, issue 2, page 105-127 ; ISSN 0168-7433 1573-0670, 2013
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Strongly Typed Term Representations in Coq
    Benton, Nick ; Hur, Chung-Kil ; et al.
    In: Journal of Automated Reasoning ; volume 49, issue 2, page 141-159 ; ISSN 0168-7433 1573-0670, 2011
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Nested Abstract Syntax in Coq
    Hirschowitz, André ; Maggesi, Marco
    In: Journal of Automated Reasoning ; volume 49, issue 3, page 409-426 ; ISSN 0168-7433 1573-0670, 2010
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps
    Dufourd, Jean-François
    In: Journal of Automated Reasoning ; volume 43, issue 1, page 19-51 ; ISSN 0168-7433 1573-0670, 2009
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
    Rideau, Laurence ; Serpette, Bernard Paul ; et al.
    In: Journal of Automated Reasoning ; volume 40, issue 4, page 307-326 ; ISSN 0168-7433 1573-0670, 2008
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Certified Graph View Maintenance with Regular Datalog
    BONIFATI, ANGELA ; DUMBRAVA, STEFANIA ; et al.
    In: Theory and Practice of Logic Programming ; volume 18, issue 3-4, page 372-389 ; ISSN 1471-0684 1475-3081, 2018
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Experiences from Exporting Major Proof Assistant Libraries
    Kohlhase, Michael ; Rabe, Florian ; et al.
    In: Journal of Automated Reasoning ; volume 65, issue 8, page 1265-1298 ; ISSN 0168-7433 1573-0670, 2021
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -