Showing 1 - 6 results of 6 for search 'Mikulás, Szabolcs', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Labelled deducation for the guarded fragment

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

    Published 1999
    Book Interlibrary loan Place Request


    Saved 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 by Mikulás, Szabolcs

    Published 1992
    Book Interlibrary loan Place Request


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

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

    Published 2001
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Axiomatizing complex algebras by games

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

    Published 2000
    Book Interlibrary loan Place Request


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

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

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Taming arrow logic

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

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: