15 search results - page 1 / 3 » aisc 2004 |
AISC
2004
Springer
13 years 10 months ago
2004
Springer
AISC
2004
Springer
13 years 10 months ago
2004
Springer
AISC
2004
Springer
13 years 10 months ago
2004
Springer
AISC
2004
Springer
13 years 8 months ago
2004
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. We show how polynomial interpretations with negative coefficients, like x - 1 for...
AISC
2004
Springer
13 years 10 months ago
2004
Springer
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fa...