Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

40 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Validating Brouwer's continuity principle for numbers using named exceptions.
    RAHLI, VINCENT ; BICKFORD, MARK
    In: Mathematical Structures in Computer Science, Jg. 28 (2018-06-01), Heft 6, S. 942-990
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 62 öffnen
    An extensible approach to session polymorphism.
    GOTO, MATTHEW ; JAGADEESAN, RADHA ; et al.
    In: Mathematical Structures in Computer Science, Jg. 26 (2016-03-01), Heft 3, S. 465-509
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 63 öffnen
    Partiality and recursion in interactive theorem provers – an overview.
    BOVE, ANA ; KRAUSS, ALEXANDER ; et al.
    In: Mathematical Structures in Computer Science, Jg. 26 (2016), Heft 1, S. 38-88
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 64 öffnen
    Modules over relative monads for syntax and semantics.
    AHRENS, BENEDIKT
    In: Mathematical Structures in Computer Science, Jg. 26 (2016), Heft 1, S. 3-37
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 65 öffnen
    A univalent formalization of the p-adic numbers.
    PELAYO, ÁLVARO ; VOEVODSKY, VLADIMIR ; et al.
    In: Mathematical Structures in Computer Science, Jg. 25 (2015-06-01), Heft 5, S. 1147-1171
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 66 öffnen
    Homotopy limits in type theory.
    AVIGAD, JEREMY ; KAPULKIN, KRZYSZTOF ; et al.
    In: Mathematical Structures in Computer Science, Jg. 25 (2015-06-01), Heft 5, S. 1040-1070
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 67 öffnen
    A certified lightweight non-interference Java bytecode verifier.
    BARTHE, GILLES ; PICHARDIE, DAVID ; et al.
    In: Mathematical Structures in Computer Science, Jg. 23 (2013-10-01), Heft 5, S. 1032-1081
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 68 öffnen
    A dual-context sequent calculus for the constructive modal logic S4
    Favio Ezequiel Miranda-Perea ; Lourdes del Carmen González Huesca ; et al.
    In: Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), S. 1205-1233
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 69 öffnen
    An experimental library of formalized Mathematics based on the univalent foundations
    Voevodsky, Vladimir
    In: Mathematical Structures in Computer Science, Jg. 25 (2015-01-20), S. 1278-1294
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 70 öffnen
    Formalising nominal C-unification generalised with protected variables
    Ayala-Rincón, Mauricio ; Washington de Carvalho-Segundo ; et al.
    In: Mathematical Structures in Computer Science, Jg. 31 (2021-03-01), S. 286-311
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 71 öffnen
    Material dialogues for first-order logic in constructive type theory: extended version
    Wehr, Dominik ; Kirst, D.
    In: Mathematical Structures in Computer Science, 2023
    unknown
    Wie komme ich dran?
  12. Detailansicht für Treffer 72 öffnen
    Validating Brouwer's continuity principle for numbers using named exceptions
    Rahli, Vincent ; Bickford, Mark
    In: Mathematical Structures in Computer Science, Jg. 28 (2017-11-02), S. 942-990
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 73 öffnen
    An extensible approach to session polymorphism
    Jagadeesan, Radha ; Pitcher, Corin ; et al.
    In: Mathematical Structures in Computer Science, Jg. 26 (2015-02-23), S. 465-509
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 74 öffnen
    A univalent formalization of the p-adic numbers
    Voevodsky, Vladimir ; Pelayo, Álvaro ; et al.
    In: Mathematical Structures in Computer Science, Jg. 25 (2015-02-13), S. 1147-1171
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 75 öffnen
    Univalent categories and the Rezk completion
    Shulman, Michael ; Ahrens, Benedikt ; et al.
    In: Mathematical Structures in Computer Science, Jg. 25 (2015-01-19), S. 1010-1039
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 76 öffnen
    A certified implementation of ML with structural polymorphism and recursive types
    Garrigue, Jacques
    In: Mathematical Structures in Computer Science, Jg. 25 (2014-11-11), S. 867-891
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 77 öffnen
    A certified lightweight non-interference Java bytecode verifier
    Rezk, Tamara ; Pichardie, David ; et al.
    In: Mathematical Structures in Computer Science, Jg. 23 (2013-05-17), S. 1032-1081
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 78 öffnen
    Formal proofs for theoretical properties of Newton's method
    Pasca, Ioana
    In: Mathematical Structures in Computer Science, Jg. 21 (2011-07-01), S. 683-714
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 79 öffnen
    Type classes for mathematics in type theory
    Spitters, Bas ; Eelis van der Weegen
    In: Mathematical Structures in Computer Science, Jg. 21 (2011-07-01), S. 795-825
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 80 öffnen
    [Untitled]
    In: Mathematical Structures in Computer Science
    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 -