University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Ian Green
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-0098
Jan 1999
Extensions to the Estimation Calculus
EDI-INF-RR-0096
Jan 1999
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
EDI-INF-RR-0004
1999
Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts
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