Deductive Temporal Reasoning with Constraints

28^th October 2008, 16:00
Dr Clare Dixon
Department of Computer Science, University of Liverpool, UK