Homepage of Hans de Nivelle

address and email . Homepage of the institute .

Teaching

My research interests are automated theorem proving, verification, proof theory, and implementation.

Publications .
Software .
Talks/Presentations .
The Deskolemization Page contains examples of the elimination of Skolem functions from resolution proofs.