.png){kind=icon}
.png){kind=icon}
Return
Interpolating Parametric Array Theories
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-04590-4_13.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Parametric array theories are extensions of the quantifier-free theory of arrays with relations that hold componentwise. We show that these theories retain rich (general and uniform) quantifier-free interpolation properties. Our results include the interpolation properties of the simple flat array fragment, which were left open in the literature.
Keywords:
Parametric array theories
Quantifier-free interpolation
Array fragment
Interpolation properties
Uniform interpolation
Journal
L
IF:
0
Papers:
19
Citations:
0