Takashi's Notes
Search
Search
Dark mode
Light mode
Explorer
Home
❯
papers
❯
theory of computation
Folder: papers/theory-of-computation
20 items under this folder.
Nov 15, 2025
Churchs Thesis And Functional Programming
Nov 15, 2025
Three Models For The Description Of Language
Nov 15, 2025
The Complexity Of Theorem Proving Procedures
Nov 15, 2025
The General And Logical Theory Of Automata
Nov 15, 2025
Three Approaches To The Quantitative Definition Of Information
Nov 15, 2025
Representation Of Events In Nerve Nets And Finite Automata
Nov 15, 2025
Reducibility Among Combinatorial Problems
Nov 15, 2025
Regular Expression Search Algorithm
Nov 15, 2025
On The Computational Complexity Of Algorithms
Nov 15, 2025
Outline Of A Mathematical Theory Of Computation
Nov 15, 2025
On Computable Numbers With An Application To The Entscheidungsproblem
Nov 15, 2025
Finite Automata And Their Decision Problems
Nov 15, 2025
Letter To Von Neumann
Nov 15, 2025
Evidence Against The Context Freeness Of Natural Languages
Nov 15, 2025
An Axiomatic Basis For Computer Programming
Nov 15, 2025
Assigning Meanings To Programs
Nov 15, 2025
Computing Machinery And Intelligence
Nov 15, 2025
A Machine Independent Theory On The Complexity Of Recursive Functions
Nov 15, 2025
A Method For The Construction Of Minimum Redundancy Codes
Nov 15, 2025
A Logical Calculus Of The Ideas Immanent In Nervous Activity