An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction

Authors:
Maxim Lifantsev;Leo Bachmair
Affiliations:
-;-
Venue:
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Year:
1998

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations

RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Proving and disproving termination of higher-order functions

FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems

Hi-index	0.00