Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Erdélyi-Szabó, Miklós - Alfréd Rényi Mathematical Institute of the Hungarian Academy of Sciences
DECIDABILITY OF SCOTT'S MODEL AS AN ORDERED Q-VECTORSPACE
Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis
Undecidability of the Real-Algebraic Structure of Scott's Model
KnowledgeBased NLP ELYISZAB
DECIDABILITY IN THE CONSTRUCTIVE THEORY OF REALS AS AN ORDERED Q-VECTORSPACE
