Thursday, 01 July 2004, 2:00 pm, Robert Recorde Room
Yoram Hirshfeld (Tel Aviv )
Continuous time temporal and predicate logic