Miklós Erdélyi-Szabó

According to our database1, Miklós Erdélyi-Szabó authored at least 5 papers between 1997 and 2008.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Towards a natural language semantics without functors and operands.
Journal of Logic, Language and Information, 2008

2000
Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.
J. Symb. Log., 2000

1998
Undecidability of the Real Algebraic Structure of Scott's Model.
Math. Log. Q., 1998

1997
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


  Loading...