Please note that this newsitem has been archived, and may contain outdated information or links.
13 December 2002, Computing with LLI Seminar, Ian Hodkinson
Speaker: Ian Hodkinson
(IC London)
(IC London)
Title: Monodic fragments of first-order temporal logics
Date: Friday 13 December 2002
Time: 13:30
Location: Room G.018, Roeterseiland Complex, Amsterdam
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Dec13.
Please note that this newsitem has been archived, and may contain outdated information or links.