Logical Interpolation and Projection onto State in the Duration Calculus

Dimitar Guelev, A Montanari, V Goranko

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2003
Event	ESSLLI Workshop on Interval Temporal Logics and Duration Calculi - Duration: 1 Jan 2003 → …

Conference	ESSLLI Workshop on Interval Temporal Logics and Duration Calculi
Period	1/01/03 → …

Cite this

@conference{77c5e8b923d64a0e98dc4912fbaabe19,

title = "Logical Interpolation and Projection onto State in the Duration Calculus",

author = "Dimitar Guelev and A Montanari and V Goranko",

year = "2003",

month = jan,

day = "1",

language = "English",

note = "ESSLLI Workshop on Interval Temporal Logics and Duration Calculi ; Conference date: 01-01-2003",

}