Section: New Results
Implementing Theorem Proving in Higher Order Logic Programming
Participants : Enrico Tassi, Cvetan Dunchev [University of Bologna] , Ferruccio Guidi [University of Bologna] , Claudio Sacerdoti Coen [University of Bologna] .
We carried on our experiments with extensions of