2006
DOI: 10.1007/11916277_1
|View full text |Cite
|
Sign up to set email alerts
|

Higher-Order Termination: From Kruskal to Computability

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
6
0

Year Published

2007
2007
2009
2009

Publication Types

Select...
6
1
1

Relationship

3
5

Authors

Journals

citations
Cited by 11 publications
(6 citation statements)
references
References 23 publications
0
6
0
Order By: Relevance
“…On the other hand, we hope that the more complex closure mechanism can be improved and integrated to the ordering. These improvements are carried out in part in [Blanqui et al 2006].…”
Section: Comparisonsmentioning
confidence: 99%
“…On the other hand, we hope that the more complex closure mechanism can be improved and integrated to the ordering. These improvements are carried out in part in [Blanqui et al 2006].…”
Section: Comparisonsmentioning
confidence: 99%
“…The ordering and the computability closure definitions turn out to share many similar constructs, raising expectations for a simpler and yet more expressive definition, instead of a pair of mutually inductive definitions for the computability closure and the ordering itself, as advocated in [17]. These expectations were partly met, on the one hand in [15] with a single computability oriented definition, and on the other hand in [18] where a new, syntax oriented recursive definition was given for HORPO.…”
Section: Introductionmentioning
confidence: 99%
“…[91,114,59]. While S-expression rewrite systems and in particular applicative systems have been studied extensively, relative little effort has been spent to prove termination of higher-order rewrite systems directly, see [88,89,67,25,90,87].…”
Section: Contributionsmentioning
confidence: 99%