3571 search results - page 3 / 715 » Cohen and Set Theory |
TOG
2010
13 years 2 months ago
2010
PODS
2006
ACM
14 years 7 months ago
2006
ACM
The query equivalence problem has been studied extensively for set-semantics and, more recently, for bag-set semantics. However, SQL queries often combine set and bag-set semantic...
APAL
2010
13 years 4 months ago
2010
The (effective) Suslin-Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it...
ANLP
1997
13 years 8 months ago
1997
CADE
2003
Springer
14 years 7 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...