Edinburgh Research Explorer

Difference reduction techniques in automating theorem proving

Project: Other (Non-Funded/Miscellaneous)

StatusFinished
Effective start/end date1/10/9631/12/96
Period1/10/9631/12/96

Description

EPSRC Visiting Fellowship GR/K 84981 for Dieter Hutter, (£12,443).