| 2002 |
|---|
| 13 | | Maarten Marx,
Szabolcs Mikulás:
An Elementary Construction for a Non-elementary Procedure.
Studia Logica 72(2): 253-263 (2002) |
| 2001 |
|---|
| 12 | EE | James Bailey,
Szabolcs Mikulás:
Expressiveness Issues and Decision Problems for Active Database Event Queries.
ICDT 2001: 68-82 |
| 11 | EE | Maarten Marx,
Szabolcs Mikulás:
Products, or How to Create Modal Logics of High Complexity.
Logic Journal of the IGPL 9(1): (2001) |
| 10 | EE | Ivo Düntsch,
Szabolcs Mikulás:
Cylindric structures and dependencies in relational databases.
Theor. Comput. Sci. 269(1-2): 451-468 (2001) |
| 2000 |
|---|
| 9 | | Maarten Marx,
Szabolcs Mikulás,
Mark Reynolds:
The Mosaic Method for Temporal Logics.
TABLEAUX 2000: 324-340 |
| 1999 |
|---|
| 8 | | Szabolcs Mikulás,
Maarten Marx:
Undecidable Relativizations of Algebras of Relations.
J. Symb. Log. 64(2): 747-760 (1999) |
| 7 | | Maarten Marx,
Szabolcs Mikulás:
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables.
J. Symb. Log. 64(4): 1563-1572 (1999) |
| 6 | EE | Maarten Marx,
Szabolcs Mikulás,
Stefan Schlobach:
Tableau Calculus for Local Cubic Modal Logic and it's Implementation.
Logic Journal of the IGPL 7(6): 755-778 (1999) |
| 1998 |
|---|
| 5 | | Ian M. Hodkinson,
Szabolcs Mikulás:
Colorful reducts.
RelMiCS 1998: 106-110 |
| 4 | | Hajnal Andréka,
Steven Givant,
Szabolcs Mikulás,
István Németi,
András Simon:
Notions of Density That Imply Representability in Algebraic Logic.
Ann. Pure Appl. Logic 91(2-3): 93-190 (1998) |
| 3 | EE | Szabolcs Mikulás:
Taming First-Order Logic.
Logic Journal of the IGPL 6(2): 305-316 (1998) |
| 1997 |
|---|
| 2 | | Szabolcs Mikulás:
A note on expressing infinity in cylindrlc-relativised set algebras.
RelMiCS 1997: 239-243 |
| 1995 |
|---|
| 1 | | Maarten Marx,
Szabolcs Mikulás,
István Németi:
Taming Logic.
Journal of Logic, Language and Information 4(3): 207-226 (1995) |
