Items where Author is "Mikulás, Szabolcs"

Group by: Item Type | No Grouping
Number of items: 6.

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]

This list was generated on Sat Dec 4 00:30:41 2021 CET.