Edinburgh Research Explorer

Automated Deduction and Program Synthesis

Project: Other (Non-Funded/Miscellaneous)

StatusFinished
Effective start/end date1/10/9730/09/98
Period1/10/9730/09/98

Description

INTAS-RFBR 95-0095 (with four Western European and five former Soviet Union sites)
(£2,114)