Proving Properties of Logic Programs

Project Details

Description

SERC/Alvey grant GR/D/44270, (One research associate, £70,662)
StatusFinished
Effective start/end date1/10/8530/09/88