59 search results - page 1 / 12 » Iterative Lexicographic Path Orders |
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We relate Kamin and L
FROCOS
2007
Springer
13 years 11 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
13 years 12 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
13 years 11 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
13 years 11 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...