dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Miklós Erdélyi-Szabó Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiklós Erdélyi-Szabó, László Kálmán, Agi Kurucz: Towards a natural language semantics without functors and operands. Journal of Logic, Language and Information 17(1): 1-17 (2008)
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiklós Erdélyi-Szabó: Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. J. Symb. Log. 65(3): 1014-1030 (2000)
1998
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiklós Erdélyi-Szabó: Undecidability of the Real Algebraic Structure of Scott's Modell. Math. Log. Q. 44: 344-348 (1998)
1997
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiklós Erdélyi-Szabó: Decidability of Scott's Model as an Ordered Q-Vectorspace. J. Symb. Log. 62(3): 917-924 (1997)
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiklós Erdélyi-Szabó: Decidability in the Constructive Theory of Reals as an Ordered Q-vectorspace. Math. Log. Q. 43: 343-354 (1997)

Coauthor Index

1László Kálmán [5]
2Ágnes Kurucz (Agi Kurucz) [5]

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page