Publications
Export 1 results:
Author Title Type [ Year] Filters: First Letter Of Title is H and Author is Denecker, M. [Clear All Filters]
“How To Obtain Elegant Fitch-Style Proofs From Goal Directed Ones.”. In Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002,
. 2002.