Items where Author is "Mikulás, Szabolcs"

Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 7.

Report

PP-2000-01: Hodkinson, Ian and Mikulás, Szabolcs and Venema, Yde (2000) Axiomatizing Complex Algebras by Games. [Report]

PP-2000-13: Marx, Maarten and Mikulás, Szabolcs (2000) Products, or How to Create Modal Logics of High Complexity. [Report]

PP-1999-15: Marx, Maarten and Schlobach, Stefan and Mikulás, Szabolcs (1999) Labelled Deduction for the Guarded Fragment. [Report]

ML-1997-04: Hodkinson, Ian and Mikulás, Szabolcs (1997) Non-finitely axiomatizable, union-free reducts of algebras of relations. [Report]

LP-1994-22: Marx, Maarten and Mikulás, Szabolcs and Németi, István (1994) Taming Arrow Logic. [Report]

LP-1992-03: Mikulás, Szabolcs (1992) The Completeness of the Lambek Calculus with respect to Relational Semantics. [Report]

Thesis

DS-1995-12: Mikulás, Szabolcs (1995) Taming Logics. Doctoral thesis, University of Amsterdam.

This list was generated on Wed Apr 24 00:30:40 2024 CEST.