Szabolcs Mikulás

	2012
20		Hajnal Andréka, Szabolcs Mikulás, István Németi: Residuated Kleene Algebras. Logic and Program Semantics 2012: 1-11
19		Ian M. Hodkinson, Szabolcs Mikulás: On canonicity and completions of weakly representable relation algebras. J. Symb. Log. 77(1): 245-262 (2012)
	2011
18		Robin Hirsch, Szabolcs Mikulás: Axiomatizability of representable domain algebras. J. Log. Algebr. Program. 80(2): 75-91 (2011)
17		Szabolcs Mikulás: On representable ordered residuated semigroups. Logic Journal of the IGPL 19(1): 233-240 (2011)
16		Hajnal Andréka, Szabolcs Mikulás, István Németi: The equational theory of Kleene lattices. Theor. Comput. Sci. 412(52): 7099-7108 (2011)
	2009
15		Szabolcs Mikulás, Mark Reynolds, Tim French: Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME 2009: 81-87
14		Szabolcs Mikulás: Algebras of Relations and Relevance Logic. J. Log. Comput. 19(2): 305-321 (2009)
	2002
13		Maarten Marx, Szabolcs Mikulás: An Elementary Construction for a Non-elementary Procedure. Studia Logica 72(2): 253-263 (2002)
	2001
12		James Bailey, Szabolcs Mikulás: Expressiveness Issues and Decision Problems for Active Database Event Queries. ICDT 2001: 68-82
11		Maarten Marx, Szabolcs Mikulás: Products, or How to Create Modal Logics of High Complexity. Logic Journal of the IGPL 9(1): 71-82 (2001)
10		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		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		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)

Coauthor Index

1	Hajnal Andréka	[4] [16] [20]
2	James Bailey	[12]
3	Ivo Düntsch	[10]
4	Tim French (Timothy Stewart French)	[15]
5	Steven Givant	[4]
6	Robin Hirsch	[18]
7	Ian M. Hodkinson	[5] [19]
8	Maarten Marx	[1] [6] [7] [8] [9] [11] [13]
9	István Németi	[1] [4] [16] [20]
10	Mark Reynolds	[9] [15]
11	Stefan Schlobach	[6]
12	András Simon	[4]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page