Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Publikation

Sprache

17 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Coq Formalization of the Relational Data Model : Programming languages and systems: 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, proceedings
    Benzaken, V. ; Contejean, E. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8410, S. 189-208
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Aliasing Restrictions of C11 Formalized in Coq : Certified programs and proofs
    Krebbers, R.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8307, S. 50-65
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Constructive Theory of Regular Languages in Coq : Certified programs and proofs
    Doczkal, C. ; Kaiser, J. O. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8307, S. 82-97
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Computational Verification of Network Programs in Coq : Certified programs and proofs
    Stewart, G.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8307, S. 33-49
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Verifying an Aircraft Proximity Characterization Method in Coq : Computer music modeling and retrieval
    Liu, D. ; Fulton, N.L. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7900, S. 86-101
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls : Automated deduction in geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012, revised selected papers
    Brun, C. ; Dufourd, J. F. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7993, S. 71-88
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Verifying an Aircraft Proximity Characterization Method in Coq : Formal methods and software engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, proceedings
    Liu, D. ; Fulton, N.L. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8144, S. 86-101
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Formalizing Cut Elimination of Coalgebraic Logics in Coq : Automated reasoning with analytic tableaux and related methods; TABLEAUX 2013
    Tews, H.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8123, S. 257-272
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Towards a Framework for Building Formally Verified Supercompilers in Coq : Trends in functional programming: 13th international symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, revised selected papers
    Krustev, D.N.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7829, S. 133-148
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 ö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?
  11. Detailansicht für Treffer 11 ö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?
  12. Detailansicht für Treffer 12 ö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?
  13. Detailansicht für Treffer 13 ö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?
  14. Detailansicht für Treffer 14 ö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?
  15. Detailansicht für Treffer 15 ö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?
  16. Detailansicht für Treffer 16 öffnen
    Modeling Ontological Structures with Type Classes in Coq : Conceptual structures for STEM research and education
    Dapoigny, R. ; Barlatier, P.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7735, S. 135-152
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Introduction to the Coq Proof-Assistant for Practical Software Verification : LASER Summer School on Software Engineering : Tools for Practical Software Verification
    Paulin-Mohring, C.
    In: LECTURE NOTES IN PHYSICS -NEW YORK THEN BERLIN-, 2013, Heft 861, S. 45-95
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -