Logical Interpolation and Projection onto State in the Duration Calculus

Dimitar P. Guelev. Logical Interpolation and Projection onto State in the Duration Calculus. Journal of Applied Non-Classical Logics, 14(1-2):181-208, 2004.

Authors

Dimitar P. Guelev

This author has not been identified. Look up 'Dimitar P. Guelev' in Google