11:16duration 11 minutes 16 seconds
ECS 220 8c:8.6-2 PSPACE-completeness
11:57duration 11 minutes 57 seconds
ECS 220 8c:8.6-1 Reachability expressed…
ECS 220 8c:8.6-1 Reachability expressed logically, and as a game between prover and skeptic