6 search results - page 2 / 2 » Monotone Signatures |
133
click to vote
JACM
2007
15 years 2 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...