Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

128 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  2. Detailansicht für Treffer 2 öffnen
    Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
    Kirst, Dominik ; Larchey-Wendling, Dominique
    In: Logical Methods in Computer Science, Jg. ume 18, Issue 2 (2022-06-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Hilbert's Tenth Problem in Coq (Extended Version)
    Larchey-Wendling, Dominique ; Forster, Yannick
    In: Logical Methods in Computer Science, Jg. ume 18, Issue 1 (2022-03-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Zugriff:
    Volltext (PDF)
  5. Detailansicht für Treffer 5 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Zugriff:
    Volltext (PDF)
  6. Detailansicht für Treffer 6 öffnen
    Computable analysis and notions of continuity in Coq
    Steinberg, Florian ; Thery, Laurent ; et al.
    In: Logical Methods in Computer Science, Jg. ume 17, Issue 2 (2021-05-01)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  8. Detailansicht für Treffer 8 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  9. Detailansicht für Treffer 9 öffnen
    Formalized linear algebra over Elementary Divisor Rings in Coq
    Cano, Guillaume ; Cohen, Cyril ; et al.
    In: Logical Methods in Computer Science, Jg. ume 12, Issue 2 (2016-06-01)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Zugriff:
    Volltext (PDF)
  11. Detailansicht für Treffer 11 öffnen
    Type classes for efficient exact real arithmetic in Coq
    Krebbers, Robbert ; Spitters, Bas
    In: Logical Methods in Computer Science, Jg. ume 9, Issue 1 (2013-02-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Deciding Kleene Algebras in Coq
    Braibant, Thomas ; Pous, Damien
    In: Logical Methods in Computer Science, Jg. ume 8, Issue 1 (2012-03-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  14. Detailansicht für Treffer 14 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  15. Detailansicht für Treffer 15 öffnen
    Formalized linear algebra over Elementary Divisor Rings in Coq
    Mörtberg, Anders ; Cano, Guillaume ; et al.
    In: Logical Methods in Computer Science, Jg. 12 (2016-06-22)
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
    Frumin, Dan ; Krebbers, Robbert ; et al.
    In: Logical Methods in Computer Science, Jg. 17 (2021-08-21), Heft 3
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  18. Detailansicht für Treffer 18 öffnen
    Displayed Categories
    Ahrens, Benedikt ; Lumsdaine, Peter Lefanu
    In: Logical Methods in Computer Science, Jg. 15 (2019), Heft 1
    Online unknown
    Zugriff:
    View record in SwePub (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Zugriff:
    Volltext (PDF)
  20. Detailansicht für Treffer 20 öffnen
    Coinductive Formal Reasoning in Exact Real Arithmetic
    Niqui, Milad ; Security, Computer
    In: Logical Methods in Computer Science, Jg. 4 (2008-09-01), Heft 3
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -