Items where Author is "Mikulás, Szabolcs"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 7.

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]

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

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]

This list was generated on Thu Nov 21 00:30:23 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility