Thomas Anberrée
From MaRDI portal
Person:2843993
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On the non-sequential nature of domain models of real-number computation Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
| First-order universality for real programs Journal of Logic and Computation | 2013-08-27 | Paper |
| Semantical proofs of correctness for programs performing non-deterministic tests on real numbers Mathematical Structures in Computer Science | 2010-12-01 | Paper |
| First-order universality for real programs Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
| A Denotational Semantics for Total Correctness of Sequential Exact Real Programs Lecture Notes in Computer Science | 2008-05-27 | Paper |
Research outcomes over time
This page was built for person: Thomas Anberrée
