Research Explorer

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

Geert Vernaeve

Awards & Distinctions

3 Results

2008

Extending a first order predicate calculus with partially defined iota terms

Geert VernaeveBert Hoogewijs

2006

A formal treatment of partial iota terms

Geert VernaeveAlbert Hoogewijs

A2 Journal Article in THE BULLETIN OF SYMBOLIC LOGIC

Extending a first order predicate calculus with partially defined iota terms

Geert VernaeveAlbert Hoogewijs

A1 Journal Article in BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN