Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

406 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
    In vitro construction of the COQ metabolon unveils the molecular determinants of coenzyme Q biosynthesis
    Nicoll, Callum R. ; Alvigini, Laura ; et al.
    In: Nature Catalysis, Jg. 7 (2024-02-01), Heft 2, S. 148-160
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Brown adipose tissue CoQ deficiency activates the integrated stress response and FGF21-dependent mitohormesis
    Chang, Ching-Fang ; Gunawan, Amanda L ; et al.
    In: The EMBO Journal, Jg. 43 (2024-01-16), Heft 2, S. 168-195
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 ö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?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 öffnen
    Symbolic Reasoning About Quantum Circuits in Coq
    Shi, Wen-Jun ; Cao, Qin-Xiang ; et al.
    In: Journal of Computer Science and Technology, Jg. 36 (2021-12-01), Heft 6, S. 1291-1306
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Formal verification of cP systems using Coq
    Liu, Yezhou ; Nicolescu, Radu ; et al.
    In: Journal of Membrane Computing, Jg. 3 (2021-09-01), Heft 3, S. 205-220
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 ö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?
  10. Detailansicht für Treffer 10 öffnen
    Mac Lane’s Comparison Theorem for the Kleisli Construction Formalized in Coq
    Ekici, Burak ; Kaliszyk, Cezary
    In: Mathematics in Computer Science, Jg. 14 (2020-09-01), Heft 3, S. 533-549
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    CoqTL: a Coq DSL for rule-based model transformation
    Cheng, Zheng ; Tisi, Massimo ; et al.
    In: Software and Systems Modeling, Jg. 19 (2020-03-01), Heft 2, S. 425-439
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 ö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?
  13. Detailansicht für Treffer 13 öffnen
    Manganese-driven CoQ deficiency
    Diessl, Jutta ; Berndtsson, Jens ; et al.
    In: Nature Communications, Jg. 13 (2022-12-01), Heft 1
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    START smuggling CoQ to fight ferroptosis
    Liang, Deguang ; Jiang, Xuejun
    In: Nature Cell Biology, Jg. 25 (2023-02-01), Heft 2, S. 207-208
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 ö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?
  16. Detailansicht für Treffer 16 ö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?
  17. Detailansicht für Treffer 17 ö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?
  18. Detailansicht für Treffer 18 ö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?
  19. Detailansicht für Treffer 19 öffnen
    Minimal mitochondrial respiration is required to prevent cell death by inhibition of mTOR signaling in CoQ-deficient cells
    Wang, Ying ; Hekimi, Siegfried
    In: Cell Death Discovery, Jg. 7 (2021-12-01), Heft 1
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    UbiB proteins regulate cellular CoQ distribution in Saccharomyces cerevisiae
    Kemmerer, Zachary A. ; Robinson, Kyle P. ; et al.
    In: Nature Communications, Jg. 12 (2021-12-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 -