dblp.uni-trier.dewww.uni-trier.de

J. Raymundo Marcial-Romero

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEJ. Raymundo Marcial-Romero, M. Andrew Moshier: Sequential Real Number Computation and Recursive Relations. Electr. Notes Theor. Comput. Sci. 202: 171-189 (2008)
3EEJ. Raymundo Marcial-Romero, M. Andrew Moshier: Sequential real number computation and recursive relations. Math. Log. Q. 54(5): 492-507 (2008)
2007
2EEJ. 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
1EEJ. Raymundo Marcial-Romero, Martín Hötzel Escardó: Semantics of a Sequential Language for Exact Real-Number Computation. LICS 2004: 426-435

Coauthor Index

1Martín Hötzel Escardó [1] [2]
2M. Andrew Moshier [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)