Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Dagmar Provijn

Profile

Projects

Publications

Activities

Awards & Distinctions

Result : ALL ( 1 )

As Fellow

01 October 2007 → 30 September 2013

A general characterization of goal-directed proof procedures

Fellow: Dagmar Provijn

Funding: Regional and community funding: Special Research Fund, Research Foundation - Flanders (FWO)