Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

6 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The Picard Algorithm for Ordinary Differential Equations in Coq : Interactive theorem proving; ITP 2013
    Makarov, E. ; Spitters, B.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 463-468
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Implementing Hash-Consed Structures in Coq : Interactive theorem proving; ITP 2013
    Braibant, T. ; Jourdan, J. H. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 477-483
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Circular Coinduction in Coq Using Bisimulation-Up-To Techniques : Interactive theorem proving; ITP 2013
    Endrullis, J. ; Hendriks, D. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 354-369
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Pragmatic Quotient Types in Coq : Interactive theorem proving; ITP 2013
    Cohen, C.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 213-228
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Kleene Algebra with Tests and Coq Tools for while Programs : Interactive theorem proving; ITP 2013
    Pous, D.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 180-196
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Canonical Structures for the Working Coq User : Interactive theorem proving; ITP 2013
    Mahboubi, A. ; Tassi, E.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 19-34
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -