Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

9 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A generalized cut characterization of the fullness axiom in CZF
    Crosilla, Laura ; Palmgren, Erik ; et al.
    In: Logic journal of the IGPL (Print), Jg. 21 (2013), Heft 1, S. 63-76
    Online unknown
    Zugriff:
    Volltext (PDF)
    Volltext Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Representation theorems for abelian and model categories
    Montaruli, Anna Giulia ; Lumsdaine, Peter Le ; et al.
    2023
    Online unknown
    Zugriff:
    View record in SwePub (Volltext)
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Constructing categories and setoids of setoids in type theory
    Palmgren, Erik ; Wilander, Olov
    In: Logical Methods in Computer Science, Jg. 10 (2014), Heft 3
    Online unknown
    Zugriff:
    Volltext (PDF)
    View record in SwePub (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Study of AC Magnetic Heating Characteristics of Co0.5Zn0.5Fe2O4 nanoparticles for magnetic Hyperthermia therapy
    Nikam, Dipali ; Jadhav, S ; et al.
    In: Journal of Magnetism and Magnetic Materials, Jg. 349 (2014), S. 208-213
    Online unknown
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Cooperative Cognitive Networks: Optimal, Distributed and Low-Complexity Algorithms
    Zheng, Gan ; Song, Shenghui ; et al.
    In: IEEE Transactions on Signal Processing, Jg. 61 (2013), Heft 11, S. 2778-2790
    Online unknown
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    On the T1 axiom and other separation properties in constructive point-free and point-set topology
    Aczel, Peter ; Curi, Giovanni
    In: Annals of Pure and Applied Logic, Jg. 161 (2010), Heft 4, S. 560-569
    Online unknown
    Zugriff:
    View record from ScienceDirect (Volltext)
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Compact spaces and distributive lattices
    Coquand, Thierry
    In: Journal of Pure and Applied Algebra, Jg. 184 (2003), Heft 1, S. 1-6
    Online unknown
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Compact spaces and distributive lattices
    Coquand, Thierry
    In: Journal of Pure and Applied Algebra, Jg. 184 (2003), Heft 1, S. 1-6
    Online unknown
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Inaccessibility in constructive set theory and type theory
    Rathjen, M ; Griffor, ER ; et al.
    In: ANNALS OF PURE AND APPLIED LOGIC, Jg. 94 (1998), Heft 1-3, S. 181-200
    Online unknown
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -