On Interpolation and Symbol Elimination in Theory Extensions (Q2817926)
From MaRDI portal
scientific article; zbMATH DE number 6943960
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Interpolation and Symbol Elimination in Theory Extensions |
scientific article; zbMATH DE number 6943960 |
Statements
On Interpolation and Symbol Elimination in Theory Extensions (English)
0 references
5 September 2016
0 references
26 September 2018
0 references
quantifier elimination
0 references
theory extensions
0 references
SMT
0 references
hierarchical reasoning
0 references
ground interpolation
0 references
0 references
0 references
0 references
0 references
