Search for tag: "exists"

ECS 120 5a:2 definition of separating extension and L-equivalence

From  David Doty 0 likes 173 plays 0  

ECS 220 8c:8.6-2 PSPACE-completeness

From  David Doty 0 likes 34 plays 0  

ECS 220 6c:7.2-1 arithmetical hierarchy

From  David Doty 0 likes 47 plays 0  

ECS 220 5a:6.4-2 P^SAT and P^NP

From  David Doty 0 likes 80 plays 0  

ECS 220 4a:6.1-2 observations about the polynomial hierarchy and the great collapse

From  David Doty 0 likes 59 plays 0  

ECS 220 4a:6.1-1 the polynomial hierarchy

From  David Doty 0 likes 91 plays 0