Yuefeng Tang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

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

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

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

Coauthor Index