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  - 2024/12/26

ER  -