 | EasyChair Smart Slide | Help/Log in |
Title:Wanda: a higher-order termination tool Authors:Cynthia Kop Conference:HOR 18 Tags:higher-order polynomial interpretations, higher-order recursive path orderings, higher-order term rewriting and termination and non-termination Abstract: Wanda is a fully automatic tool to analyse termination of higher-order term rewriting systems in various styles. In this talk I will present Wanda and discuss the underlying methodology.  |
|     |
