Printer-friendly version

Browse the glossary using this index

Special | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | ALL

C

Church, 1936a

Church (1936a), ‘A Note on the Entscheidungsproblem’

Church, 1936b

Church (1936b), 'Correction to a Note on the Entscheidungsproblem’

Cook, 1971

Cook (1971), The complexity of theorem-proving procedures. Proceedings of the third annual ACM symposium on Theory of Computing, p. 151-158.