11 search results - page 1 / 3 » Commutativity Theorems: Examples in Search of Algorithms |
ISSAC
1999
Springer
13 years 9 months ago
1999
Springer
TACAS
1999
Springer
13 years 9 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
AAECC
2007
Springer
13 years 5 months ago
2007
Springer
We generalize the notion of cyclic codes by using generator polynomials in (non commutative) skew polynomial rings. Since skew polynomial rings are left and right euclidean, the o...
LICS
1991
IEEE
13 years 9 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
STOC
2006
ACM
14 years 5 months ago
2006
ACM
Range searching is among the most fundamental problems in computational geometry. An n-element point set in Rd is given along with an assignment of weights to these points from so...