Edinburgh Research Explorer

Proving Properties of Logic Programs

Project: Other (Non-Funded/Miscellaneous)

StatusFinished
Effective start/end date1/10/8530/09/88
Period1/10/8530/09/88

Description

SERC/Alvey grant GR/D/44270, (One research associate, £70,662)