Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

74 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics.
    Guo, Dakai ; Yu, Wensheng
    In: Mathematics (2227-7390), Jg. 11 (2023-06-01), Heft 11, S. 2504-2531
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Floating-point arithmetic in the Coq system
    Melquiond, Guillaume
    In: Information & Computation, Jg. 216 (2012-07-01), S. 14-23
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Formal Proof of a Machine Closed Theorem in Coq.
    Wan, Hai ; He, Anping ; et al.
    In: Journal of Applied Mathematics, 2014, S. 1-9
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formal Analysis of Android's Permission-Based Security Model.
    BETARTE, Gustavo ; CAMPO, Juan ; et al.
    In: Scientific Annals of Computer Science, Jg. 26 (2016), Heft 1, S. 27-68
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A HOARE LOGIC FOR THE COINDUCTIVE TRACE-BASED BIG-STEP SEMANTICS OF WHILE.
    NAKATA, KEIKO ; UUSTALU, TARMO
    In: Logical Methods in Computer Science (LMCS), Jg. 11 (2015), Heft 1, S. 1-32
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Axiomatic and dual systems for constructive necessity, a formally verified equivalence.
    González-Huesca, Lourdes del Carmen ; Miranda-Perea, Favio E. ; et al.
    In: Journal of Applied Non-Classical Logics, Jg. 29 (2019-09-01), Heft 3, S. 255-287
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code.
    Blazy, Sandrine ; Laporte, Vincent ; et al.
    In: Journal of Automated Reasoning, Jg. 56 (2016-03-01), Heft 3, S. 283-308
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Completeness and Decidability Results for CTL in Constructive Type Theory.
    Doczkal, Christian ; Smolka, Gert
    In: Journal of Automated Reasoning, Jg. 56 (2016-03-01), Heft 3, S. 343-365
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven.
    Boldo, Sylvie
    In: IEEE Transactions on Computers, Jg. 58 (2009-02-01), Heft 2, S. 220-225
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    From AADL to Timed Abstract State Machines: A verified model transformation.
    Yang, Zhibin ; Hu, Kai ; et al.
    In: Journal of Systems & Software, Jg. 93 (2014-07-01), S. 42-68
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Coherent matter wave inertial sensors for precision measurements in space
    Le Coq, Y. ; Retter, J.A. ; et al.
    In: Advances in Space Research, Jg. 49 (2012-01-15), Heft 2, S. 365-372
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Safe Computational Framework for Integer Programming Applied to Chvátal's Conjecture.
    EIFLER, LEON ; GLEIXNER, AMBROS ; et al.
    In: ACM Transactions on Mathematical Software, Jg. 48 (2022-06-01), Heft 2, S. 1-12
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    IDEMPOTENTS IN INTENSIONAL TYPE THEORY.
    SHULMAN, MICHAEL
    In: Logical Methods in Computer Science (LMCS), Jg. 12 (2016-09-01), Heft 3, S. 1-24
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A PROGRAM LOGIC FOR VERIFYING SECURE ROUTING PROTOCOLS.
    CHEN, CHEN ; LIMIN, JIA ; et al.
    In: Logical Methods in Computer Science (LMCS), Jg. 11 (2015-12-01), Heft 4, S. 1-34
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    MODELS FOR SOFTWARE VERIFICATION: PROVING PROGRAM CORRECTNESS.
    Sitnikovski, Boro ; Goracinova-Ilieva, Lidija ; et al.
    In: UTMS Journal of Economics, Jg. 12 (2021-06-01), Heft 1, S. 32-39
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Mechanizing type environments in weak HOAS.
    Ciaffaglione, Alberto ; Scagnetto, Ivan
    In: Theoretical Computer Science, Jg. 606 (2015-11-16), S. 57-78
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.
    Ðurđević, Sana ; Narboux, Julien ; et al.
    In: Annals of Mathematics & Artificial Intelligence, Jg. 74 (2015-08-01), Heft 3/4, S. 249-269
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    The Algebra of Expansion.
    Carlier, Sébastien ; Wells, J.B.
    In: Fundamenta Informaticae, Jg. 121 (2012-07-01), Heft 1-4, S. 43-82
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    A Formalization of Convex Polyhedra Based on the Simplex Method.
    Allamigeon, Xavier ; Katz, Ricardo D.
    In: Journal of Automated Reasoning, Jg. 63 (2019-08-01), Heft 2, S. 323-345
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Mechanizing Metatheory Without Typing Contexts.
    Park, Jonghyun ; Seo, Jeongbong ; et al.
    In: Journal of Automated Reasoning, Jg. 52 (2014-02-01), Heft 2, S. 215-239
    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 -