276 search results - page 3 / 56 » Constraint Propagation as a Proof System |
ENTCS
2008
13 years 5 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
CSCLP
2005
Springer
13 years 11 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
AMC
2007
13 years 5 months ago
2007
An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints is proposed in this paper. These equations are derived with...
TACAS
1995
Springer
13 years 9 months ago
1995
Springer
CADE
2003
Springer
14 years 6 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...