Treffer 1 – 6 von 6 für Suche 'Mikulás, Szabolcs', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Labelled deducation for the guarded fragment

    Labelled deducation for the guarded fragment von Marx, Maarten, Schlobach, Stefan, Mikulás, Szabolcs

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The completeness of the Lambek Calculus with respect to relational semantics

    The completeness of the Lambek Calculus with respect to relational semantics von Mikulás, Szabolcs

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    An elementary construction for a non-elementary procedure

    An elementary construction for a non-elementary procedure von Marx, Maarten, Mikulás, Szabolcs

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Axiomatizing complex algebras by games

    Axiomatizing complex algebras by games von Hodkinson, Ian, Mikulás, Szabolcs, Venema, Yde

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Non-finitely axiomatizable, union-free reducts of algebras of relations

    Non-finitely axiomatizable, union-free reducts of algebras of relations von Hodkinson, Ian, Mikulás, Szabolcs

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Taming arrow logic

    Taming arrow logic von Marx, Maarten, Mikulás, Szabolcs, Németi, István

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: