University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Alberto Momigliano
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-1188
2007
Mobile resource guarantees
EDI-INF-RR-1148
Sep 2004
A Program Logic for Resource Verification
EDI-INF-RR-1090
Jul 2007
Mechanized Metatheory Model-Checking
EDI-INF-RR-0602
Feb 2004
Induction and Co-induction in Sequent Calculus
EDI-INF-RR-0601
Apr 2003
Multi-Level Meta-Reasoning with Higher Order Abstract Syntax
EDI-INF-RR-0600
Oct 2003
Higher-Order Pattern Complement and the Strict Lambda-Calculus
EDI-INF-RR-0509
Dec 2005
Optimisation Validation
EDI-INF-RR-0296
Dec 2007
A Program Logic for Resources
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