15 search results - page 1 / 3 » aisc 2004 |
AISC
2004
Springer
14 years 4 months ago
2004
Springer
AISC
2004
Springer
14 years 4 months ago
2004
Springer
AISC
2004
Springer
14 years 4 months ago
2004
Springer
AISC
2004
Springer
14 years 2 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
14 years 4 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...