According to our database1, Miklós Erdélyi-Szabó authored at least 5 papers between 1997 and 2008.
Legend:Book In proceedings Article PhD thesis Other
Towards a natural language semantics without functors and operands.
Journal of Logic, Language and Information, 2008
Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.
J. Symb. Log., 2000
Undecidability of the Real Algebraic Structure of Scott's Model.
Math. Log. Q., 1998
Decidability in the Constructive Theory of Reals as an Ordered ℚ-vectorspace.
Math. Log. Q., 1997
Decidability of Scott's Model as an Ordered Q-Vectorspace.
J. Symb. Log., 1997