Edinburgh Research Explorer

Flexible incorporation of decision procedures into the LamdaClam proof-planning system

Project: Research

StatusFinished
Effective start/end date1/06/0130/09/02
Total award£19,670.00
Funding organisationEPSRC
Funder project referenceGR/R52954/01
Period1/06/0130/09/02