TY - JOUR
T1 - A semantic approach to interpolation
JO - Theoretical Computer Science
UR - http://dx.doi.org/10.1016/j.tcs.2008.09.038
PY - 2009/03/17
AU - Popescu A
AU - 艦erb膬nu牛膬 TF
AU - Ro艧u G
ED -
DO - DOI: 10.1016/j.tcs.2008.09.038
PB - Elsevier BV
VL - 410
IS - 12-13
SP - 1109
EP - 1128
Y2 - 2025/08/03
ER -