https://scholars.lib.ntu.edu.tw/handle/123456789/352516| Title: | Quantifier Elimination via Functional Composition | Authors: | Jie-Hong R. Jiang JIE-HONG JIANG |
Issue Date: | Jun-2009 | Start page/Pages: | 383-397 | Source: | Int'l Conf. on Computer Aided Verification (CAV'09) | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/352516 | DOI: | 10.1007/978-3-642-02658-4_30 |
| Appears in Collections: | 電子工程學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.