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.
