Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

13 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Admissible inference rules in the linear logic of knowledge and time LTK <subscript> r </subscript> with intransitive time relation
    Luk’yanchuk, A. N. ; Rybakov, V. V.
    In: Siberian Mathematical Journal, Jg. 56 (2015-05-01), Heft 3, S. 455-470
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    An axiomatization for the linear logic of knowledge and time LTK <subscript> r </subscript> with intransitive time relation
    Luk’yanchuk, A. N. ; Rimatskiĭ, V. V.
    In: Siberian Mathematical Journal, Jg. 54 (2013-11-01), Heft 6, S. 1037-1045
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Zugriff:
    Volltext (PDF)
  4. Detailansicht für Treffer 4 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Zugriff:
    Volltext (PDF)
  5. Detailansicht für Treffer 5 öffnen
    Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation
    Luk’yanchuk, A. N. ; Rybakov, Vladimir V.
    In: Siberian Mathematical Journal, Jg. 56 (2015-05-01), S. 455-470
    Online unknown
    Zugriff:
    Volltext (PDF)
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    An axiomatization for the linear logic of knowledge and time LTK r with intransitive time relation
    Luk’yanchuk, A. N. ; Rimatskiĭ, V. V.
    In: Siberian Mathematical Journal, Jg. 54 (2013-11-01), S. 1037-1045
    Online unknown
    Zugriff:
    Volltext (PDF)
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  8. Detailansicht für Treffer 8 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  9. Detailansicht für Treffer 9 öffnen
    An axiomatization for the linear logic of knowledge and time LTK with intransitive time relation.
    Luk'yanchuk, A. ; Rimatskiĭ, V.
    In: Siberian Mathematical Journal, Jg. 54 (2013-11-01), Heft 6, S. 1037-1045
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Admissible inference rules in the linear logic of knowledge and time LTK with intransitive time relation.
    Luk'yanchuk, A. ; Rybakov, V.
    In: Siberian Mathematical Journal, Jg. 56 (2015-05-01), Heft 3, S. 455-470
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    On the linear logic of knowledge and time with intransitive time relation.
    Yun, V.
    In: Siberian Mathematical Journal, Jg. 56 (2015-05-01), Heft 3, S. 565-568
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    On the linear logic of knowledge and time with intransitive time relation
    Yun, V. F.
    In: Siberian Mathematical Journal, Jg. 56 (2015-05-01), S. 565-568
    Online unknown
    Zugriff:
    Volltext (PDF)
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 ö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 -