Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/04 → 31/12/04 |
Funding
- ARC Discovery Projects
Proof Theory for Extensions of Temporal Logic
- Reynolds, Mark (Chief Investigator)
- Van Der Meyden, R. (Chief Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/04 → 31/12/04 |