Tie Hou

	2008
3		Tie Hou: On Transformations of Load-Store Maurer Instruction Set Architecture CoRR abs/0808.2584: (2008)
2		Ulrich Berger, Tie Hou: Coinduction for Exact Real Number Computation. Theory Comput. Syst. 43(3-4): 394-409 (2008)
	2006
1		Tie Hou: Coinductive Proofs for Basic Real Computation. CiE 2006: 221-230

Coauthor Index

1

Ulrich Berger

[2]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page