|
|||||
|
|
Quantifier Elimination and Provers Integration |
|
| Authors: | Silvio Ghilardi |
| Affiliation: | aDipartimento di Scienze dell'Informazione, Università degli Studi, Milano, Italy |
| Abstract: | We exploit quantifier elimination in the global design of combined decision and semi-decision procedures for theories over non-disjoint signatures, thus providing in particular extensions of Nelson-Oppen results. |
| Keywords: | Combination Nelson-Oppen Combination Schema Fusion Superposition Calculus Quantifier Elimination Model Completions |
| 本文献已被 ScienceDirect 等数据库收录！ | |