Search for tag: "skeptic"

ECS 220 8c:8.6-2 PSPACE-completeness

+19 More
From  David Doty 0 likes 36 plays 0  

ECS 220 8c:8.6-1 Reachability expressed logically, and as a game between prover and skeptic

+19 More
From  David Doty 0 likes 28 plays 0