Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

72 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Implementing the cylindrical algebraic decomposition within the Coq system : Constructive analysis, types and exact real numbers
    Mahboubi, A.
    In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Jg. 17 (2007), Heft 1, S. 99-127
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates : Interactive Theorem Proving and the Formalisation of Mathematics
    Blanqui, F. ; Koprowski, A.
    In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Jg. 21 (2011), Heft 4, S. 827-859
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Bicategories in univalent foundations
    Ahrens, Benedikt ; Frumin, Dan ; et al.
    In: Mathematical structures in computer science, Jg. 31 (2022-03-09), Heft SI: 10
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Implementing the cylindrical algebraic decomposition within the Coq system.
    ASSIA, MAHBOUBI
    In: Mathematical Structures in Computer Science, Jg. 17 (2007-02-01), Heft 1, S. 99-127
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A dual-context sequent calculus for the constructive modal logic S4.
    Miranda-Perea, Favio Ezequiel ; González Huesca, Lourdes del Carmen ; et al.
    In: Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), Heft 9, S. 1205-1233
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Bicategories in univalent foundations
    Ahrens, Benedikt ; Frumin, Dan ; et al.
    In: Mathematical structures in computer science, Jg. 31 (2022-03-09), Heft SI: 10
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Bicategories in univalent foundations.
    Ahrens, Benedikt ; Frumin, Dan ; et al.
    In: Mathematical Structures in Computer Science, Jg. 31 (2021-11-01), Heft 10, S. 1232-1269
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Formalising nominal C-unification generalised with protected variables.
    Ayala-Rincón, Mauricio ; de Carvalho-Segundo, Washington ; et al.
    In: Mathematical Structures in Computer Science, Jg. 31 (2021-03-01), Heft 3, S. 286-311
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A focused linear logical framework and its application to metatheory of object logics.
    Felty, Amy ; Olarte, Carlos ; et al.
    In: Mathematical Structures in Computer Science, Jg. 31 (2021-03-01), Heft 3, S. 312-340
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  11. Detailansicht für Treffer 11 öffnen
    Bicategorical type theory: semantics and syntax.
    Ahrens, Benedikt ; North, Paige Randall ; et al.
    In: Mathematical Structures in Computer Science, Jg. 33 (2023-11-01), Heft 10, S. 868-912
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Model structure on the universe of all types in interval type theory.
    Boulier, Simon ; Tabareau, Nicolas
    In: Mathematical Structures in Computer Science, Jg. 32 (2022-04-01), Heft 4, S. 392-423
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Synthetic topology in Homotopy Type Theory for probabilistic programming.
    Bidlingmaier, Martin E. ; Faissole, Florian ; et al.
    In: Mathematical Structures in Computer Science, Jg. 31 (2021-11-01), Heft 10, S. 1301-1329
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  15. Detailansicht für Treffer 15 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  16. Detailansicht für Treffer 16 öffnen
    An experimental library of formalized Mathematics based on the univalent foundations.
    VOEVODSKY, VLADIMIR
    In: Mathematical Structures in Computer Science, Jg. 25 (2015-06-01), Heft 5, S. 1278-1294
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  18. Detailansicht für Treffer 18 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  19. Detailansicht für Treffer 19 ö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?
  20. Detailansicht für Treffer 20 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -