Edinburgh Research Explorer

The Automation of Proof by Mathematical Induction

Project: Other (Non-Funded/Miscellaneous)

StatusFinished
Effective start/end date1/10/9230/09/94
Period1/10/9230/09/94

Description

ESPRIT Working Group grant EC-US 019-76094, (Funding the interaction of ten sites, £18,000).