Informatics Report Series


Claudio Castellini

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

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 <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh