Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Anberrée, Thomas - School of Computer Science, University of Nottingham Ningbo, China
A Denotational Semantics for Total Correctness of Sequential Exact Real Programs.
A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
On the non-sequential nature of domain models of real-number computation
First-Order Universality for Real Programs Thomas Anberree
First-Order Universality for Real Programs Thomas Anberree
