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] |