 | 2010 |
|---|
| 4 |       | Thomas Anberrée:
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers.
Mathematical Structures in Computer Science 20(5): 723-751 (2010) |
| 2009 |
|---|
| 3 | | Thomas Anberrée:
First-Order Universality for Real Programs.
CiE 2009: 1-10 |
| 2008 |
|---|
| 2 | | Thomas Anberrée:
A Denotational Semantics for Total Correctness of Sequential Exact Real Programs.
TAMC 2008: 388-399 |
| 2007 |
|---|
| 1 | | Thomas Anberrée:
On the Non-sequential Nature of Domain Models of Real-number Computation.
Electr. Notes Theor. Comput. Sci. 173: 41-46 (2007) |
Data released under the ODC-BY 1.0 license — See also our legal information page