DMCA

CARIBOO : A Multi-Strategy Termination Proof Tool Based on Induction (2003)

by Olivier Fissore , Isabelle Gnaedig , Hélène Kirchner
Venue:in « 6th International Workshop on Termination 2003 - WST’03
Citations:2 - 0 self