923 search results - page 108 / 185 » On a generalization of Stickelberger's Theorem |
152
click to vote
FSEN
2007
Springer
16 years 13 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
150
click to vote
STACS
2007
Springer
16 years 11 days ago
2007
Springer
We contribute to the study of efficient enumeration algorithms for all solutions of constraint satisfaction problems. The only algorithm known so far, presented by Creignou and H´...
170
click to vote
CIMCA
2006
IEEE
16 years 10 days ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
187
click to vote
ACL2
2006
ACM
16 years 7 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
196
click to vote
ACL2
2006
ACM
16 years 7 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...