EPSRC logo

Details of Grant 

EPSRC Reference: GR/R03051/01
Title: Applying Composition Theorems
Principal Investigator: Stirling, Professor C
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Sch of Informatics
Organisation: University of Edinburgh
Scheme: Standard Research (Pre-FEC)
Starts: 01 September 2000 Ends: 31 August 2001 Value (£): 20,259
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
Composition theorems are tools which reduce reasoning about compound data structures to reasoning about their parts. Technically they are difficult and on the whole have been ignored by Theoretical Computer Scientists who employ other methods (such as the use of automata). The aim is to apply composition theorems to understand inexpressibility over finite structures and to apply them to understand decidable red time logics.
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: http://www.ed.ac.uk