Edinburgh Research Explorer

Automation of program synthesis in proof planning

Project: Other (Non-Funded/Miscellaneous)

  • Bundy, Alan (Principal Investigator)
  • Giunchiglia, Fausto (Co-investigator)
StatusFinished
Effective start/end date1/10/9530/09/97
Period1/10/9530/09/97

Description

British Council grant BC-MURST/CRUI (with Fausto Giunchiglia Trento
and Genova), £3,500.