09:25duration 9 minutes 25 seconds
ECS 220 5b:6.6-4 two lemmas and full proof of…
ECS 220 5b:6.6-4 two lemmas and full proof of Ladner_s theorem
17:39duration 17 minutes 39 seconds
ECS 120 5a:2 direct proof that equal zero-one is…
ECS 120 5a:2 direct proof that equal zero-one is not regular