| EPSRC Reference: |
GR/K41687/01 |
| Title: |
SEARCH MODULES I : REPRESENTATION AND COMBINATION OF PROOF PROCEDURES |
| Principal Investigator: |
Pym, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Queen Mary University of London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 February 1995 |
Ends: |
30 June 1997 |
Value (£): |
19,082
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
We shall develop a theory of representation of object level proof procedures within the setting of a logical framework.We shall develop an experimental computer system for designing and combining proof procedures for object languages.We shall test the theory and implementation on important examples involving hybrid reasoning, e.g. mixtures of equational, type and predicate reasoning.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
|