Search Results - Mikulás, Szabolcs

  • Showing 1 – 6 results of 6
Filter by
  1. 1
    Cover Image

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

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1997
    Order via interlibrary loan
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 2000
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: