Items where Author is "Mikulás, Szabolcs"

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

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]

This list was generated on Wed Oct 27 00:30:31 2021 CEST.