![]() |
| 2008 | ||
|---|---|---|
| 4 | EE | J. Raymundo Marcial-Romero, M. Andrew Moshier: Sequential Real Number Computation and Recursive Relations. Electr. Notes Theor. Comput. Sci. 202: 171-189 (2008) |
| 3 | EE | J. Raymundo Marcial-Romero, M. Andrew Moshier: Sequential real number computation and recursive relations. Math. Log. Q. 54(5): 492-507 (2008) |
| 2007 | ||
| 2 | EE | J. Raymundo Marcial-Romero, Martín Hötzel Escardó: Semantics of a sequential language for exact real-number computation. Theor. Comput. Sci. 379(1-2): 120-141 (2007) |
| 2004 | ||
| 1 | EE | J. Raymundo Marcial-Romero, Martín Hötzel Escardó: Semantics of a Sequential Language for Exact Real-Number Computation. LICS 2004: 426-435 |
| 1 | Martín Hötzel Escardó | [1] [2] |
| 2 | M. Andrew Moshier | [3] [4] |