Time in Liverpool - an overview of temporal research in the logic and computation group

摘要

We provide an overview of the temporal research in the logic and computation group at the University of Liverpool. While we cover both recent and current work, a more comprehensive document and list of references is available from the above Web site or the Web pages of individual group members.