Suchergebnisse - Mikulás, Szabolcs

  • Treffer 1 – 6 von 6
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2000
    Buch


    Gespeichert in:

Suchwerkzeuge: