3 search results - page 1 / 1 » Symmetric logspace is closed under complement |
59
Voted
STOC
1995
ACM
15 years 1 months ago
1995
ACM
73
Voted
LICS
2007
IEEE
15 years 3 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
15 years 3 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...