Hajnal Andréka
发表
Ildikó Sain,
Hajnal Andréka,
István Németi,
1989,
Theor. Comput. Sci..
Szabolcs Mikulás,
Hajnal Andréka,
István Németi,
2011,
Theor. Comput. Sci..
Hajnal Andréka,
István Németi,
Judit X. Madarász,
2008,
Stud Logica.
András Simon,
Szabolcs Mikulás,
Hajnal Andréka,
1998,
Ann. Pure Appl. Log..
Tamás Gergely,
Hajnal Andréka,
István Németi,
1980,
COLING.
Ildikó Sain,
Hajnal Andréka,
István Németi,
1994
.
Irène Guessarian,
Hajnal Andréka,
István Németi,
1985,
FCT.
Hajnal Andréka,
1980,
Logic of Programs.
Hajnal Andréka,
István Németi,
Steven Givant,
1995,
Journal of Symbolic Logic.
Irène Guessarian,
Hajnal Andréka,
István Németi,
1987,
Inf. Comput..
Hajnal Andréka,
Steven Givant,
2018,
Ann. Pure Appl. Log..
Tamás Gergely,
Hajnal Andréka,
István Németi,
1975,
IJCAI.
Hajnal Andréka,
István Németi,
Judit X. Madarász,
2010,
Synthese.
Ivo Düntsch,
Hajnal Andréka,
István Németi,
1995,
Journal of Symbolic Logic.
Peter Jipsen,
Hajnal Andréka,
István Németi,
2016,
The Journal of Symbolic Logic.
T. Gergely,
Hajnal Andréka,
István Németi,
1972
.
Hajnal Andréka,
Steven Givant,
2002,
Bull. Symb. Log..
Pierre-Yves Schobbens,
Mark Ryan,
Hajnal Andréka,
2002,
J. Log. Comput..
Hajnal Andréka,
H. Andréka,
1997,
Ann. Pure Appl. Log..
Hajnal Andréka,
George E. Strecker,
R. J. Greechie,
1988,
Categorial Methods in Computer Science.
Ivo Düntsch,
Hajnal Andréka,
István Németi,
1995,
Math. Log. Q..
Ildikó Sain,
Hajnal Andréka,
István Németi,
1982,
Theor. Comput. Sci..
Ildikó Sain,
Hajnal Andréka,
István Németi,
1981,
MFCS.
Ildikó Sain,
Hajnal Andréka,
István Németi,
1979,
MFCS.
Hajnal Andréka,
István Németi,
Gergely Székely,
2011,
Parallel Process. Lett..
Hajnal Andréka,
István Németi,
I. Németi,
1978
.
György Serény,
Hajnal Andréka,
István Németi,
1989,
J. Symb. Log..
Hajnal Andréka,
István Németi,
I. Németi,
2006,
CiE.
Hajnal Andréka,
István Németi,
Judit X. Madarász,
2012,
Parallel Process. Lett..
Hajnal Andréka,
István Németi,
I. Németi,
1981,
FCT.
Hajnal Andréka,
Steven Givant,
2018,
J. Symb. Log..
Ildikó Sain,
Hajnal Andréka,
István Németi,
1979,
FCT.
Roger D. Maddux,
Hajnal Andréka,
R. Maddux,
1994,
Notre Dame J. Formal Log..
Szabolcs Mikulás,
Ildikó Sain,
Hajnal Andréka,
1995
.
Hajnal Andréka,
István Németi,
I. Németi,
2006,
SOFSEM.
Ildikó Sain,
Hajnal Andréka,
István Németi,
1982,
Theor. Comput. Sci..
Ian M. Hodkinson,
Hajnal Andréka,
István Németi,
1999,
Journal of Symbolic Logic.
Hajnal Andréka,
István Németi,
Judit X. Madarász,
2006
.
Hajnal Andréka,
István Németi,
Judit X. Madarász,
2007,
Handbook of Spatial Logics.
Hajnal Andréka,
István Németi,
Steven Givant,
1997,
Memoirs of the American Mathematical Society.
Hajnal Andréka,
István Németi,
I. Németi,
1985,
Journal of Symbolic Logic.
Tarek Sayed Ahmed,
Hajnal Andréka,
István Németi,
2008,
Journal of Symbolic Logic.
Hajnal Andréka,
István Németi,
Péter Németi,
2009,
Natural Computing.
Ian M. Hodkinson,
Hajnal Andréka,
István Németi,
1997,
RelMiCS.
Hajnal Andréka,
István Németi,
Bjarni Jónsson,
1988,
Algebraic Logic and Universal Algebra in Computer Science.
Hajnal Andréka,
István Németi,
1994
.
Ildikó Sain,
Hajnal Andréka,
István Németi,
1993,
AMAST.
Hajnal Andréka,
István Németi,
Sándor Horváth,
1973,
Acta Cybern..
Robert Goldblatt,
Hajnal Andréka,
István Németi,
1998,
J. Symb. Log..
Ildikó Sain,
Hajnal Andréka,
István Németi,
1979
.
Hajnal Andréka,
H. Andréka,
1997,
Ann. Pure Appl. Log..
Hajnal Andréka,
István Németi,
R. J. Thompson,
1990,
Journal of Symbolic Logic.
Hajnal Andréka,
István Németi,
I. Németi,
1978,
Acta Cybern..
William Craig,
Hajnal Andréka,
István Németi,
1988,
J. Symb. Log..
Ildikó Sain,
Hajnal Andréka,
István Németi,
1989,
MFCS.
Johan van Benthem,
Hajnal Andréka,
István Németi,
2017,
J. Philos. Log..
Szabolcs Mikulás,
Hajnal Andréka,
H. Andréka,
1994,
J. Log. Lang. Inf..
Hajnal Andréka,
István Németi,
Steven Givant,
2019,
Rev. Symb. Log..
Hajnal Andréka,
István Németi,
Steven Givant,
1994,
Journal of Symbolic Logic.
Hajnal Andréka,
István Németi,
T. Gorgely,
1975,
IJCAI.
Szabolcs Mikulás,
Hajnal Andréka,
István Németi,
2012,
Logic and Program Semantics.
Johan van Benthem,
Hajnal Andréka,
István Németi,
1998,
J. Philos. Log..
Ágnes Kurucz,
Hajnal Andréka,
István Németi,
1994,
J. Symb. Log..
Johan van Benthem,
Hajnal Andréka,
István Németi,
1995,
Log. J. IGPL.
Hajnal Andréka,
István Németi,
I. Németi,
2020,
The Journal of Symbolic Logic.
Hajnal Andréka,
István Németi,
1983
.
Hajnal Andréka,
István Németi,
I. Németi,
1980
.
Hajnal Andréka,
István Németi,
I. Németi,
1975
.
J.F.A.K. van Benthem,
Hajnal Andréka,
István Németi,
1995
.
Hajnal Andréka,
H. Andréka,
1991
.
Hajnal Andréka,
István Németi,
Bjarni Jónsson,
1991
.
Ivo Düntsch,
Hajnal Andréka,
István Németi,
1992
.
Hajnal Andréka,
István Németi,
1979
.
Hajnal Andréka,
H. Andréka,
1994
.
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent
Hajnal Andréka,
István Németi,
I. Németi,
1981
.
Szabolcs Mikulás,
Hajnal Andréka,
H. Andréka,
2011
.
Ildikó Sain,
Ágnes Kurucz,
Hajnal Andréka,
1994
.
Hajnal Andréka,
H. Andréka,
R. J. Thompson,
1988
.
T. Gergely,
Hajnal Andréka,
István Németi,
1977
.
Hajnal Andréka,
István Németi,
Gergely Székely,
2011,
1101.5894.