Related tags
Related subjects
Machine theory (13)
Formal languages (7)
Computer science (5)
Logic, Symbolic and mathematical (5)
Godel, Kurt (3)
Electronic data processing (3)
Science › Philosophy (3)
Related tagmashes
computer science, mathematics (14)
algorithms, computer science (13)
cs, mathematics (13)
computer science, popular science (6)
AI, computers (4)
artificial intelligence, computers (4)
Tag info: theory of computation
Tag used 62 times by 24 users.
Most often tagged theory of computation
- Introduction to the Theory of Computation by Michael Sipser (8)
- Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft (4)
- Gödel, Escher, Bach: An Eternal Golden Braid by Douglas R. Hofstadter (2)
- Introduction to Languages and the Theory of Computation by John C. Martin (2)
- An Introduction to Formal Languages and Automata by Peter Linz (2)
- Computability and Unsolvability (Mcgraw-Hill Series in… by Martin Davis (2)
- Society of Mind by Marvin Minsky (2)
- Computation: finite and infinite machines by Marvin Minsky (2)
- Computers and Intractability: A Guide to the Theory of… by Michael R. Garey (2)
- Computability: An Introduction to Recursive Function Theory by Nigel Cutland (2)
- The Lambda Calculus (Studies in Logic and the Foundations… by H.P. Barendregt (1)
- Domains and Lambda-Calculi (Cambridge Tracts in Theoretical… by Roberto M. Amadio (1)
- Feynman Lectures on Computation by Richard P. Feynman (1)
- Feynman and Computation: Exploring the Limits of Computers… by Anthony J. G. Hey (1)
- Computer Science: An Overview by J. Glenn Brookshear (1)
- Derivation and Computation: Taking the Curry-Howard… by H. Simmons (1)
- The Universal Turing Machine: A Half-Century Survey… by Rolf Herken (1)
- A New Kind of Science by Stephen Wolfram (1)
- Adapting Proofs-as-Programs : The Curry-Howard Protocol… by Iman Hafiz Poernomo (1)
- Quest for the Quantum Computer by Julian Brown (1)
