Results 1-1 of 1 (Search time: 0.007 seconds).

	Issue Date	Title	Author(s)	Source	scopus	WOS	Fulltext/Archive link
1	2009	Quantifier Elimination via Functional Composition	Jie-Hong R. Jiang; JIE-HONG JIANG	Int'l Conf. on Computer Aided Verification (CAV'09)	24	0