Project Details
| Acronym | EP/F031114/1 - Proof Theory |
|---|---|
| Status | Finished |
| Effective start/end date | 24/01/08 → 23/08/08 |
Funding
- EPSRC: £44,237.00
Proof Theory and Constraint Satisfaction
- Gent, Ian Philip (PI)
- Dyckhoff, Roy (CoI)
Project: Standard
Project: Standard
| Acronym | EP/F031114/1 - Proof Theory |
|---|---|
| Status | Finished |
| Effective start/end date | 24/01/08 → 23/08/08 |