J. Raymundo Marcial-Romero

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

Coauthor Index

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

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page