Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Schlagwort

Verlag

Publikation

Sprache

32 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Certifying a Rule-Based Model Transformation Engine for Proof Preservation
    Hotonnier, Joachim ; Tisi, Massimo ; et al.
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    Abstract Machines for Open Call-by-Value
    Accattoli, Beniamino ; Guerrieri, Giulio ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    A Mechanized Theory of Program Refinement
    Chailloux, Emmanuel ; Boubacar Demba Sall ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    Information Flow Tracking for Side-Effectful Libraries
    Sabelfeld, Andrei ; Sjösten, Alexander ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    Semantic reasoning about the sea of nodes
    Pichardie, David ; Yon Fernandez de Retana ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    Jasmin
    Almeida, José B. ; Barthe, Gilles ; et al.
    In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017-10-30
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    Cut branches before looking for bugs: Sound verification on relaxed slices
    Pascale Le Gall ; Léchenet, Jean-Christophe ; et al.
    2016
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    Simple Isolation for an Actor Abstract Machine
    Sabah, Quentin ; Claudel, Benoit ; et al.
    2015
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 öffnen
    On the way to certify Computer Algebra Systems
    Hardin, Thérèse ; Boulmé, Sylvain ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 23 (1999), S. 370-385
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 30 öffnen
    Certification of automated termination proofs
    Urbain, Xavier ; Courtieu, Pierre ; et al.
    2007
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 31 öffnen
    Algebraic Structures and Dependent Records
    Prevosto, Virgile ; Hardin, Thérèse ; et al.
    2002
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 32 öffnen
    Certifying Synchrony for Free
    Hamon, Grégoire ; Boulmé, Sylvain ; et al.
    2001
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -