Higher Order Dependency Pairs for Algebraic Functional Systems

DOI10.4230/LIPIcs.RTA.2011.203zbMath1236.68136OpenAlexW1548902908MaRDI QIDQ5389082

Cynthia Kop, Femke van Raamsdonk

Publication date: 24 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_7021.html

zbMATH Keywords

terminationdynamic dependency pairshigher order rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Harnessing First Order Termination Provers Using Higher Order Dependency Pairs ⋮ Uncurrying for termination and complexity ⋮ Size-based termination of higher-order rewriting ⋮ Normal Higher-Order Termination ⋮ Simplifying Algebraic Functional Systems

This page was built for publication: Higher Order Dependency Pairs for Algebraic Functional Systems