Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Publikation

Sprache

130 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 ö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
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 ö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?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 ö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?
  5. Detailansicht für Treffer 5 öffnen
    HOπ in Coq
    Ambal, Guillaume ; Lenglet, Sergueï ; et al.
    In: Journal of Automated Reasoning, Jg. 65 (2021), Heft 1, S. 75-124
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
    Doczkal, Christian ; Pous, Damien
    In: Journal of Automated Reasoning, Jg. 64 (2020-06-01), Heft 5, S. 795-825
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Call-by-Value Lambda Calculus as a Model of Computation in Coq
    Forster, Yannick ; Smolka, Gert
    In: Journal of Automated Reasoning, Jg. 63 (2019-08-01), Heft 2, S. 393-413
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Hammer for Coq: Automation for Dependent Type Theory
    Czajka, Łukasz ; Kaliszyk, Cezary
    In: Journal of Automated Reasoning, Jg. 61 (2018-06-01), Heft 1-4, S. 423-453
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Regular Language Representations in the Constructive Type Theory of Coq
    Doczkal, Christian ; Smolka, Gert
    In: Journal of Automated Reasoning, Jg. 61 (2018-06-01), Heft 1-4, S. 521-553
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 ö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, Jg. 62 (2019), Heft 1, S. 1-68
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq
    Martin-Dorel, Érik ; Melquiond, Guillaume
    In: Journal of Automated Reasoning, Jg. 57 (2016-10-01), Heft 3, S. 187-217
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Natural Language Inference in Coq
    Chatzikyriakidis, Stergios ; Luo, Zhaohui
    In: Journal of Logic, Language and Information, Jg. 23 (2014-12-01), Heft 4, S. 441-480
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Implementing and Reasoning About Hash-consed Data Structures in Coq
    Braibant, Thomas ; Jourdan, Jacques-Henri ; et al.
    In: Journal of Automated Reasoning, Jg. 53 (2014-10-01), Heft 3, S. 271-304
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Theorem of Three Circles in Coq
    Zsidó, Julianna
    In: Journal of Automated Reasoning, Jg. 53 (2014-08-01), Heft 2, S. 105-127
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Comparison of the phase-field approach and cohesive element modeling to analyze the double cleavage drilled compression fracture test of an elastoplastic material: Phase-field approach and cohesive elements for DCDC
    Coq, Arnaud ; Diani, Julie ; et al.
    In: International Journal of Fracture, Jg. 245 (2024-03-01), Heft 3, S. 209-222
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Strongly Typed Term Representations in Coq
    Benton, Nick ; Hur, Chung-Kil ; et al.
    In: Journal of Automated Reasoning, Jg. 49 (2012-08-01), Heft 2, S. 141-159
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Nested Abstract Syntax in Coq
    Hirschowitz, André ; Maggesi, Marco
    In: Journal of Automated Reasoning, Jg. 49 (2012-10-01), Heft 3, S. 409-426
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    CoQ(10) reduces glioblastoma growth and infiltration through proteome remodeling and inhibition of angiogenesis and inflammation
    Frontiñán-Rubio, Javier ; Llanos-González, Emilio ; et al.
    In: Cell Oncol (Dordr, 2022
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods
    Faissole, Florian
    In: Journal of Automated Reasoning, Jg. 68 (2024-03-01), Heft 1
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 ö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, Jg. 43 (2009-06-01), Heft 1, S. 19-51
    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 -