3 search results - page 1 / 1 » Symmetric logspace is closed under complement |
STOC
1995
ACM
13 years 8 months ago
1995
ACM
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
EUROCRYPT
2007
Springer
13 years 11 months ago
2007
Springer
We give a complexity-theoretic characterization of the class of problems in NP having zero-knowledge argument systems. This characterization is symmetric in its treatment of the ze...