S. Mikulás
发表
András Simon,
Szabolcs Mikulás,
Ildikó Sain,
1992
.
maarten marx,
I. Németi,
S. Mikulás,
1997
.
Parma,
O. Capatina,
M. Therasse,
2013
.
S. Mikulás,
2012
.
Szabolcs Mikulás,
Hajnal Andréka,
H. Andréka,
1994,
J. Log. Lang. Inf..
Szabolcs Mikulás,
Mark Reynolds,
Tim French,
2009,
2009 16th International Symposium on Temporal Representation and Reasoning.
S. Mikulás,
Ildikó Sain,
András Simon,
2015,
Synthese.
András Simon,
Szabolcs Mikulás,
Ildikó Sain,
2015,
Synthese.
Szabolcs Mikulás,
Ian M. Hodkinson,
I. Hodkinson,
2012,
The Journal of Symbolic Logic.
Ivo Düntsch,
Szabolcs Mikulás,
I. Düntsch,
2001,
Theor. Comput. Sci..
András Simon,
Szabolcs Mikulás,
Hajnal Andréka,
1998,
Ann. Pure Appl. Log..
Szabolcs Mikulás,
Robin Hirsch,
Marcel Jackson,
2014,
ArXiv.
Szabolcs Mikulás,
Philippe Balbiani,
P. Balbiani,
2013,
FroCos.
Szabolcs Mikulás,
Yde Venema,
Ian Hodkinson,
2001
.
Szabolcs Mikulás,
Hajnal Andréka,
István Németi,
2011,
Theor. Comput. Sci..
Szabolcs Mikulás,
Hajnal Andréka,
H. Andréka,
2011
.
Szabolcs Mikulás,
Robin Hirsch,
R. Hirsch,
2010,
The Review of Symbolic Logic.
Maarten Marx,
Szabolcs Mikulás,
Mark Reynolds,
2000,
TABLEAUX.
Maarten Marx,
Szabolcs Mikulás,
maarten marx,
2002,
Stud Logica.
Szabolcs Mikulás,
S. Mikulás,
2015,
Stud Logica.
Szabolcs Mikulás,
S. Mikulás,
2011,
Log. J. IGPL.
Szabolcs Mikulás,
S. Mikulás,
2009,
J. Log. Comput..
Szabolcs Mikulás,
Robin Hirsch,
R. Hirsch,
2007
.
R. Hirsch,
S. Mikulás,
2007
.
Szabolcs Mikulás,
Ian Hodkinson,
I. Hodkinson,
2007
.
Szabolcs Mikulás,
Ian Hodkinson,
I. Hodkinson,
2000
.
Szabolcs Mikulás,
Robin Hirsch,
R. Hirsch,
2013,
J. Appl. Log..
Szabolcs Mikulás,
Robin Hirsch,
R. Hirsch,
2011,
J. Log. Algebraic Methods Program..