Constraint Deduction in an Interval-based Temporal Logic

Has publishing details pp. 103-117, 1993

Has title Constraint Deduction in an Interval-based Temporal Logic

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai1993em.html#KoehlerT93

Has where published Executable Modal and Temporal Logics

Has year 1993

Has author Jana Koehler +, Ralf Treinen +

Has identifier Constraint Deduction in an Interval-based Temporal Logic +

Categories Proceeding Paper +