Documents March 11, 2015CS21 Lecture 271 CS21 Decidability and Tractability Lecture 27 March 11, 2015.

Slide 1 March 11, 2015CS21 Lecture 271 CS21 Decidability and Tractability Lecture 27 March 11, 2015 Slide 2 CS21 Lecture 272 Outline “Challenges to the (extended) Church-…