Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

183 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Semantic cut elimination for the logic of bunched implications, formalized in Coq
    Frumin, Dan ; Popescu, Andrei ; et al.
    In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2022-01-17, S. 291-306
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    The Q-junction and the inflammatory response are critical pathological and therapeutic factors in CoQ deficiency
    González-García, Pilar ; Díaz-Casado, María Elena ; et al.
    In: Redox Biology, Jg. 55 (2022-09-01)
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Mitochondrial Disease and the Kidney With a Special Focus on CoQ(10) Deficiency
    Schijvens, A.M. ; Kar, N.C.A.J. van de ; et al.
    In: Kidney International Reports, Jg. 5 (2020), S. 2146-2159
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Volltext Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    β-RA Targets Mitochondrial Metabolism and Adipogenesis, Leading to Therapeutic Benefits against CoQ Deficiency and Age-Related Overweight
    Hidalgo-Gutiérrez, Agustin ; Barriocanal-Casado, Eliana ; et al.
    In: Biomedicines, Jg. 9 (2021-10-13), Heft 10, S. 1
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Decision Trees for Tactic Prediction in Coq
    Zhang, L. ; Blaauwbroek, L. ; et al.
    In: AITP 2021: 6th Conference on Artificial Intelligence and Theorem Proving September 5-11, 2021, S. 1-3
    Online serialPeriodical
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Tactic Learning and Proving for the Coq Proof Assistant
    Blaauwbroek, L. ; Urban, J. ; et al.
    In: Albert, E. (ed.), LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2020, S. 138-150
    Online serialPeriodical
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    A Coq proof of the correctness of X25519 in TweetNaCl
    Viguier, B. ; Schwabe, P. ; et al.
    2021
    Online unknown
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme
    Niqui, Milad ; Berardi, S. ; et al.
    2009
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Coq development for 'Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations'
    Gäher, L. ; Sammler, M. ; et al.
    2021
    Online unknown
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq
    Gore, Rajeev ; Ramanayake, Revantha ; et al.
    In: Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021., 2021, S. 299-313
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
    Kappé, T.W.J. ; Department of Computer Science ; et al.
    2022
    unknown
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library
    Vindum, Simon Friis ; Frumin, Dan ; et al.
    In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2022-01-17, S. 100-115
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Mtac2: Typed tactics for backward reasoning in Coq
    Kaiser, Jan-Oliver ; Ziliani, Beta ; et al.
    In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018), Heft ICFP
    serialPeriodical
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    4-Hydroxybenzoic acid restores CoQ(10) biosynthesis in human COQ2 deficiency
    Herebian, D. ; Seibt, A. ; et al.
    In: Annals of Clinical and Translational Neurology, Jg. 4 (2017), S. 902-908
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Volltext Volltext
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Coq formalisation of Consistent Consequence for Boolean Equation Systems
    Van Delft, M.E.C. (Myrthe) ; Geuvers, J.H. (Herman) ; et al.
    2017
    unknown
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq
    Krebbers, R. ; Parlant, L. ; et al.
    In: Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 2016, S. 309-324
    Online serialPeriodical
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Compositional non-interference for fine-grained concurrent programs
    Frumin, Dan ; Krebbers, Robbert ; et al.
    In: Proceedings - 2021 IEEE Symposium on Security and Privacy, SP, 2021-05-01, S. 1416-1433
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Online Machine Learning Techniques for Coq: A Comparison
    Zhang, L. ; Blaauwbroek, L. ; et al.
    In: Kamareddine, F.; Coen, C. Sacerdoti (ed.), CICM 2021: Intelligent Computer Mathematics, 14th International Conference, Timisoara, Romania, July 26–31, 2021, S. 67-83
    Online serialPeriodical
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    A Coq proof of the correctness of X25519 in TweetNaCl
    Schwabe, P. ; Viguier, B. ; et al.
    In: CSF 2021: 34th IEEE Computer Security Foundations Symposium, June 21-25. 2021 - Virtual Conference, 2021, S. 529-544
    Online serialPeriodical
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Concurrent Separation Logics for Safety, Refinement, and Security. Associated Coq mechanization
    Frumin, D.
    2021
    Online unknown
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -