Relationships between computation and mathematical logic. Covers automata theory, computability, and NP-completeness, with emphasis on fundamental results and implications for…
108
Relationships between computation and mathematical logic. Covers automata theory, computability, and NP-completeness, with emphasis on fundamental results and implications for…