Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

19 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme : Types for proofs and programs; TYPES 2008
    Niqui, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5497, S. 272-288
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq : Types for proofs and programs; TYPES 2008
    van der Weegen, E. ; McKinna, J.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5497, S. 256-271
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Declarative Language for the Coq Proof Assistant : Types for proofs and programs: international conference, TYPES 2007
    Corbineau, P.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2008, Heft 4941, S. 69-84
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Subset Coercions in Coq : Types for proofs and programs
    Sozeau, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft 4502, S. 237-252
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq : Types for proofs and programs
    Capretta, V. ; Felty, A. P.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft 4502, S. 63-77
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Mobility Types in Coq : Types Working Group; Types for proofs and programs: international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003
    Honsell, F. ; Scagnetto, I.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 324-337
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    QArith: Coq Formalisation of Lazy Rational Arithmetic : Types Working Group; Types for proofs and programs: international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003
    Niqui, M. ; Bertot, Y.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 309-323
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Modules in Coq Are and Will Be Correct : Types Working Group; Types for proofs and programs: international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003
    Chrzaszcz, J.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 130-146
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Mathematical Quotients and Quotient Types in Coq : Types Working Group; Types for proofs and programs
    Chicli, L. ; Pottier, L. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 95-107
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    A New Extraction for Coq : Types Working Group; Types for proofs and programs
    Letouzey, P.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 200-219
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Information Retrieval in a Coq Proof Library Using Type Isomorphisms : Types for proofs and programs
    Delahaye, D.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2001, S. 131-147
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Proving a Real Time Algorithm for ATM in Coq : Types for proofs and programs
    Monin, J. F.
    In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft E 1512, S. 277-293
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Verification of the Interface of a Small Proof System in Coq : Types for proofs and programs
    Barras, B.
    In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft E 1512, S. 28-45
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol : Types for proofs and programs
    Gimenez, E.
    In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft NO 1158, S. 135-152
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Circuits as streams in Coq: Verification of a Sequential Multiplier : Types for proofs and programs
    Paulin-Mohring, C.
    In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft NO 1158, S. 216-230
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Automating Inversion of Inductive Predicates in Coq : Types for proofs and programs
    Cornes, C. ; Terrasse, D.
    In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft NO 1158, S. 85-104
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Formalization of a lambda-Calculus with Explicit Substitutions in Coq : Types for proofs and programs
    Saibi, A.
    In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft E 996, S. 183-202
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Developing Certified Programs in the System Coq - The Program Tactic : Types for proofs and programs
    Parent, C.
    In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft E 806, S. 291-312
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Programming with Streams in Coq - A Case Study: The Sieve of Eratosthenes : Types for proofs and programs
    Leclerc, F. ; Paulin-Mohring, C.
    In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft E 806, S. 191-212
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -