Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/11/01 → 31/10/03 |
Funding
- EPSRC: £59,908.00
Tractable query evaluation and model checking problems
- Grohe, Martin (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/11/01 → 31/10/03 |