共 50 条
- [32] Craig Interpolation in the Presence of Non-linear Constraints FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 240 - 255
- [33] Perturbations and non-linear harmonic spaces ANNALES ACADEMIAE SCIENTIARUM FENNICAE-MATHEMATICA, 1998, 23 (01): : 33 - 58
- [35] Efficient, ROM-less DDFS using non-linear interpolation and non-linear DAC Analog Integrated Circuits and Signal Processing, 2006, 48 : 231 - 237