Edinburgh Research Explorer

Automatic Guidance of Mechanically Generated Proofs

Project: Other (Non-Funded/Miscellaneous)

StatusFinished
Effective start/end date1/10/9730/09/99
Period1/10/9730/09/99

Description

EPSRC grant GR/L 14381 (Two research associates, £141,126).