Edinburgh Research Explorer

Automatic inductive proof

Project: Other (Non-Funded/Miscellaneous)

  • Bundy, Alan (Principal Investigator)
  • Stevens, Andrew (Co-investigator)
StatusFinished
Effective start/end date1/10/9330/09/96
Period1/10/9330/09/96

Description

British Council ARC grant JJ00002, (with Andrew Stevens at Oxford and various German partners), £6,100.