University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Claudio Castellini
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-0290
Jul 2005
Proof Planning for First-Order Temporal Logic
EDI-INF-RR-0155
Jun 2001
Tactic-based theorem proving in first-order modal and temporal logics
EDI-INF-RR-0153
Oct 2002
Proof Planning for Feature Interactions: a preliminary report
EDI-INF-RR-0152
Oct 2000
A modular, tactic-based approach to first-order temporal theorem proving
EDI-INF-RR-0150
Sep 2002
A Systematic Presentation of Quantified Modal Logics
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh