44 search results - page 3 / 9 » acs 2006 |
JCSS
1998
13 years 5 months ago
1998
We show that all sets that are complete for NP under non-uniform AC0 reductions are isomorphic under non-uniform AC0-computable isomorphisms. Furthermore, these sets remain NP-com...
ACS
2006
13 years 5 months ago
2006
We have introduced, in a previous paper, the fundamental lax 2-category of a `directed space' X. Here we show that, when X has a T1-topology, this structure can be embedded i...
ACS
2006
13 years 5 months ago
2006
Nuclei which are defined over a class of frames are called nuclear typings. There is the dual notion of a spatial selector, and the relationship between nuclear typings and spatial...
IANDC
2007
13 years 5 months ago
2007
We explore the notion of alternating two-way tree automata modulo the theory of finitely many associative-commutative (AC) symbols. This was prompted by questions arising in cryp...
EDBT
2006
ACM
14 years 5 months ago
2006
ACM
The problem of rewriting queries using views has received significant attention because of its applications in a wide variety of datamanagement problems. For select-project-join SQ...