59 search results - page 1 / 12 » Iterative Lexicographic Path Orders |
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We relate Kamin and L
FROCOS
2007
Springer
14 years 5 months ago
2007
Springer
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
TLCA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
LPAR
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
PPAM
2007
Springer
14 years 5 months ago
2007
Springer
The concept of a partial derangement is introduced and a versatile representation of partial derangements is proposed with permutations and derangements as special cases. The repre...