Yuefeng Tang Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2008

2 EE Christopher Lynch, Yuefeng Tang: Interpolants for Linear Arithmetic in SMT. ATVA 2008: 156-170

1 EE Christopher Lynch, Yuefeng Tang: Rewriting Interpolants. Electr. Notes Theor. Comput. Sci. 212: 163-176 (2008)

*	2008
2	EE	Christopher Lynch, Yuefeng Tang: Interpolants for Linear Arithmetic in SMT. ATVA 2008: 156-170
1	EE	Christopher Lynch, Yuefeng Tang: Rewriting Interpolants. Electr. Notes Theor. Comput. Sci. 212: 163-176 (2008)

Coauthor Index