OurBigBook Wikipedia Bot
Documentation
Theoretical computer science
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Applied mathematics
toc
wiki
split
articles:
1k
Table of contents
1k
1. Computational learning theory
link
split
Theoretical computer science
13
1.1. Algorithmic learning theory
link
split
Computational learning theory
1.2. Bondy's theorem
link
split
Computational learning theory
1.3. Cover's theorem
link
split
Computational learning theory
1.4. Distribution learning theory
link
split
Computational learning theory
1.5. Induction of regular languages
link
split
Computational learning theory
1.6. Language identification in the limit
link
split
Computational learning theory
1.7. Probably approximately correct learning
link
split
Computational learning theory
1.8. Shattered set
link
split
Computational learning theory
1.9. Teaching dimension
link
split
Computational learning theory
1.10. Unique negative dimension
link
split
Computational learning theory
1.11. Vapnik–Chervonenkis theory
link
split
Computational learning theory
1.12. Win–stay, lose–switch
link
split
Computational learning theory
1.13. Witness set
link
split
Computational learning theory
2. Formal languages
link
split
Theoretical computer science
163
2.1. Computer languages
link
split
Formal languages
2.2. Dependently typed languages
link
split
Formal languages
2.3. Formal theories
link
split
Formal languages
2.4. Grammar frameworks
link
split
Formal languages
2.5. L-systems
link
split
Formal languages
2.6. Logic symbols
link
split
Formal languages
2.7. Metalanguages
link
split
Formal languages
2.8. Abstract rewriting system
link
split
Formal languages
2.9. Abstract semantic graph
link
split
Formal languages
2.10. Abstract syntax tree
link
split
Formal languages
2.11. Adaptive grammar
link
split
Formal languages
2.12. Affix grammar
link
split
Formal languages
2.13. Agent Communications Language
link
split
Formal languages
2.14. Alphabet (formal languages)
link
split
Formal languages
2.15. Ambiguous grammar
link
split
Formal languages
2.16. Arden's rule
link
split
Formal languages
2.17. Attribute grammar
link
split
Formal languages
2.18. Augmented Backus–Naur form
link
split
Formal languages
2.19. Autocorrelation (words)
link
split
Formal languages
2.20. Backus–Naur form
link
split
Formal languages
2.21. Bigram
link
split
Formal languages
2.22. Boolean grammar
link
split
Formal languages
2.23. Brzozowski derivative
link
split
Formal languages
2.24. Büchi-Elgot-Trakhtenbrot theorem
link
split
Formal languages
2.25. Categorial grammar
link
split
Formal languages
2.26. Chomsky hierarchy
link
split
Formal languages
2.27. Chomsky normal form
link
split
Formal languages
2.28. Chomsky–Schützenberger enumeration theorem
link
split
Formal languages
2.29. Chomsky–Schützenberger representation theorem
link
split
Formal languages
2.30. Closest string
link
split
Formal languages
2.31. Compact semigroup
link
split
Formal languages
2.32. Compiler Description Language
link
split
Formal languages
2.33. Concatenation
link
split
Formal languages
2.34. Cone (formal languages)
link
split
Formal languages
2.35. Conference on Implementation and Application of Automata
link
split
Formal languages
2.36. Conjunctive grammar
link
split
Formal languages
2.37. Context-free grammar
link
split
Formal languages
2.38. Context-free language
link
split
Formal languages
2.39. Context-sensitive grammar
link
split
Formal languages
2.40. Context-sensitive language
link
split
Formal languages
2.41. Controlled grammar
link
split
Formal languages
2.42. Critical exponent of a word
link
split
Formal languages
2.43. Cross-serial dependencies
link
split
Formal languages
2.44. Cyclic language
link
split
Formal languages
2.45. Definite clause grammar
link
split
Formal languages
2.46. Dershowitz–Manna ordering
link
split
Formal languages
2.47. Descriptional Complexity of Formal Systems
link
split
Formal languages
2.48. Descriptive interpretation
link
split
Formal languages
2.49. Deterministic context-free grammar
link
split
Formal languages
2.50. Deterministic context-free language
link
split
Formal languages
2.51. Discontinuous-constituent phrase structure grammar
link
split
Formal languages
2.52. Dyck language
link
split
Formal languages
2.53. ECLR-attributed grammar
link
split
Formal languages
2.54. Emptiness problem
link
split
Formal languages
2.55. Empty string
link
split
Formal languages
2.56. Equivalence (formal languages)
link
split
Formal languages
2.57. Equivalence problem
link
split
Formal languages
2.58. Extended Backus–Naur form
link
split
Formal languages
2.59. Extended affix grammar
link
split
Formal languages
2.60. Formal grammar
link
split
Formal languages
2.61. Formal proof
link
split
Formal languages
2.62. Formal system
link
split
Formal languages
2.63. Formation rule
link
split
Formal languages
2.64. Free monoid
link
split
Formal languages
2.65. Generalized context-free grammar
link
split
Formal languages
2.66. Gesture Description Language
link
split
Formal languages
2.67. Global index grammar
link
split
Formal languages
2.68. Greibach's theorem
link
split
Formal languages
2.69. Greibach normal form
link
split
Formal languages
2.70. Growing context-sensitive grammar
link
split
Formal languages
2.71. Hall word
link
split
Formal languages
2.72. Head grammar
link
split
Formal languages
2.73. History monoid
link
split
Formal languages
2.74. Indexed grammar
link
split
Formal languages
2.75. Indexed language
link
split
Formal languages
2.76. Interchange lemma
link
split
Formal languages
2.77. International Conference on Developments in Language Theory
link
split
Formal languages
2.78. Introduction to Automata Theory, Languages, and Computation
link
split
Formal languages
2.79. Junction Grammar
link
split
Formal languages
2.80. Kleene star
link
split
Formal languages
2.81. Kuroda normal form
link
split
Formal languages
2.82. L-attributed grammar
link
split
Formal languages
2.83. LL grammar
link
split
Formal languages
2.84. LR-attributed grammar
link
split
Formal languages
2.85. Leftist grammar
link
split
Formal languages
2.86. Lexical grammar
link
split
Formal languages
2.87. Linear grammar
link
split
Formal languages
2.88. List of formal language and literal string topics
link
split
Formal languages
2.89. Literal movement grammar
link
split
Formal languages
2.90. Local language (formal language)
link
split
Formal languages
2.91. Locally catenative sequence
link
split
Formal languages
2.92. Longest increasing subsequence
link
split
Formal languages
2.93. Longest repeated substring problem
link
split
Formal languages
2.94. Ludwig Staiger
link
split
Formal languages
2.95. MU puzzle
link
split
Formal languages
2.96. Markup language
link
split
Formal languages
2.97. Matrix grammar
link
split
Formal languages
2.98. Maximal pair
link
split
Formal languages
2.99. Mildly context-sensitive grammar formalism
link
split
Formal languages
2.100. Minimalist grammar
link
split
Formal languages
2.101. Monoid factorisation
link
split
Formal languages
2.102. Montague grammar
link
split
Formal languages
2.103. Morphic word
link
split
Formal languages
2.104. Muller–Schupp theorem
link
split
Formal languages
2.105. Myhill–Nerode theorem
link
split
Formal languages
2.106. Nested word
link
split
Formal languages
2.107. Non-logical symbol
link
split
Formal languages
2.108. Noncontracting grammar
link
split
Formal languages
2.109. Normal form (abstract rewriting)
link
split
Formal languages
2.110. Ogden's lemma
link
split
Formal languages
2.111. Omega-regular language
link
split
Formal languages
2.112. Omega language
link
split
Formal languages
2.113. Operator-precedence grammar
link
split
Formal languages
2.114. Parikh's theorem
link
split
Formal languages
2.115. Parser combinator
link
split
Formal languages
2.116. Parsing expression grammar
link
split
Formal languages
2.117. Picture language
link
split
Formal languages
2.118. Prefix grammar
link
split
Formal languages
2.119. Production (computer science)
link
split
Formal languages
2.120. Proof (truth)
link
split
Formal languages
2.121. Pumping lemma for context-free languages
link
split
Formal languages
2.122. Pumping lemma for regular languages
link
split
Formal languages
2.123. Quasi-quotation
link
split
Formal languages
2.124. Range concatenation grammar
link
split
Formal languages
2.125. Recursively enumerable language
link
split
Formal languages
2.126. Regular grammar
link
split
Formal languages
2.127. Regular language
link
split
Formal languages
2.128. Regular tree grammar
link
split
Formal languages
2.129. Regulated rewriting
link
split
Formal languages
2.130. Rewriting
link
split
Formal languages
2.131. S-attributed grammar
link
split
Formal languages
2.132. SCIgen
link
split
Formal languages
2.133. SLR grammar
link
split
Formal languages
2.134. Semantics encoding
link
split
Formal languages
2.135. Semi-Thue system
link
split
Formal languages
2.136. Sesquipower
link
split
Formal languages
2.137. Signed-digit representation
link
split
Formal languages
2.138. Simple precedence grammar
link
split
Formal languages
2.139. Sparse language
link
split
Formal languages
2.140. Splicing rule
link
split
Formal languages
2.141. Square-free word
link
split
Formal languages
2.142. Star height
link
split
Formal languages
2.143. Star height problem
link
split
Formal languages
2.144. Straight-line grammar
link
split
Formal languages
2.145. String operations
link
split
Formal languages
2.146. Substring
link
split
Formal languages
2.147. Symbol (formal)
link
split
Formal languages
2.148. Syntactic monoid
link
split
Formal languages
2.149. Syntactic predicate
link
split
Formal languages
2.150. Syntax (logic)
link
split
Formal languages
2.151. Syntax diagram
link
split
Formal languages
2.152. Terminal yield
link
split
Formal languages
2.153. Top-down parsing language
link
split
Formal languages
2.154. Trace monoid
link
split
Formal languages
2.155. Trace theory
link
split
Formal languages
2.156. Unary language
link
split
Formal languages
2.157. Unary numeral system
link
split
Formal languages
2.158. Unavoidable pattern
link
split
Formal languages
2.159. Unrestricted grammar
link
split
Formal languages
2.160. Van Wijngaarden grammar
link
split
Formal languages
2.161. WFF 'N PROOF
link
split
Formal languages
2.162. Well-formed formula
link
split
Formal languages
2.163. Wirth–Weber precedence relationship
link
split
Formal languages
3. Logic in computer science
link
split
Theoretical computer science
90
3.1. Automated theorem proving
link
split
Logic in computer science
3.2. Linear logic
link
split
Logic in computer science
3.3. Logic conferences
link
split
Logic in computer science
3.4. Logic families
link
split
Logic in computer science
3.5. Logic gates
link
split
Logic in computer science
3.6. Logic programming
link
split
Logic in computer science
3.7. Logical calculi
link
split
Logic in computer science
3.8. Modal logic
link
split
Logic in computer science
3.9. Program logic
link
split
Logic in computer science
3.10. Programming language semantics
link
split
Logic in computer science
3.11. Quantum gates
link
split
Logic in computer science
3.12. Type theory
link
split
Logic in computer science
3.13. ACM Transactions on Computational Logic
link
split
Logic in computer science
3.14. Alternating-time temporal logic
link
split
Logic in computer science
3.15. Anti-unification (computer science)
link
split
Logic in computer science
3.16. Assertion (software development)
link
split
Logic in computer science
3.17. Backward chaining
link
split
Logic in computer science
3.18. Boolean circuit
link
split
Logic in computer science
3.19. Boolean flag
link
split
Logic in computer science
3.20. Boolean satisfiability problem
link
split
Logic in computer science
3.21. Bunched logic
link
split
Logic in computer science
3.22. CTL*
link
split
Logic in computer science
3.23. Combinational logic
link
split
Logic in computer science
3.24. Combs method
link
split
Logic in computer science
3.25. CompCert
link
split
Logic in computer science
3.26. Computability logic
link
split
Logic in computer science
3.27. Computation tree logic
link
split
Logic in computer science
3.28. Computational logic
link
split
Logic in computer science
3.29. Curry–Howard correspondence
link
split
Logic in computer science
3.30. DatalogZ
link
split
Logic in computer science
3.31. DiVincenzo's criteria
link
split
Logic in computer science
3.32. Dynamic logic (modal logic)
link
split
Logic in computer science
3.33. Event calculus
link
split
Logic in computer science
3.34. Fluent (artificial intelligence)
link
split
Logic in computer science
3.35. Frege system
link
split
Logic in computer science
3.36. Functional completeness
link
split
Logic in computer science
3.37. Functional verification
link
split
Logic in computer science
3.38. Fuzzy logic
link
split
Logic in computer science
3.39. Game semantics
link
split
Logic in computer science
3.40. Geometry of interaction
link
split
Logic in computer science
3.41. HOL (proof assistant)
link
split
Logic in computer science
3.42. Hennessy–Milner logic
link
split
Logic in computer science
3.43. Herbrand Award
link
split
Logic in computer science
3.44. Horn-satisfiability
link
split
Logic in computer science
3.45. Horn clause
link
split
Logic in computer science
3.46. Interference freedom
link
split
Logic in computer science
3.47. Intuitionistic logic
link
split
Logic in computer science
3.48. Intuitionistic type theory
link
split
Logic in computer science
3.49. Journal of Automated Reasoning
link
split
Logic in computer science
3.50. Journal of Logic and Computation
link
split
Logic in computer science
3.51. Karnaugh map
link
split
Logic in computer science
3.52. Knowledge Interchange Format
link
split
Logic in computer science
3.53. Logic for Computable Functions
link
split
Logic in computer science
3.54. Logic optimization
link
split
Logic in computer science
3.55. Logical Methods in Computer Science
link
split
Logic in computer science
3.56. Logical framework
link
split
Logic in computer science
3.57. Maximum satisfiability problem
link
split
Logic in computer science
3.58. Model checking
link
split
Logic in computer science
3.59. Model elimination
link
split
Logic in computer science
3.60. Multi-Agent Programming Contest
link
split
Logic in computer science
3.61. Noise-based logic
link
split
Logic in computer science
3.62. Ordered weighted averaging aggregation operator
link
split
Logic in computer science
3.63. Peano axioms
link
split
Logic in computer science
3.64. Perceptual computing
link
split
Logic in computer science
3.65. Postcondition
link
split
Logic in computer science
3.66. Precondition
link
split
Logic in computer science
3.67. Preferential entailment
link
split
Logic in computer science
3.68. Proof complexity
link
split
Logic in computer science
3.69. Propositional proof system
link
split
Logic in computer science
3.70. Q0 (mathematical logic)
link
split
Logic in computer science
3.71. Race condition
link
split
Logic in computer science
3.72. Racetrack problem
link
split
Logic in computer science
3.73. Runtime verification
link
split
Logic in computer science
3.74. SAT solver
link
split
Logic in computer science
3.75. Satisfiability modulo theories
link
split
Logic in computer science
3.76. Separation logic
link
split
Logic in computer science
3.77. Sequential logic
link
split
Logic in computer science
3.78. State space enumeration
link
split
Logic in computer science
3.79. Structural induction
link
split
Logic in computer science
3.80. Successor function
link
split
Logic in computer science
3.81. Symposium on Logic in Computer Science
link
split
Logic in computer science
3.82. Tseytin transformation
link
split
Logic in computer science
3.83. Twelf
link
split
Logic in computer science
3.84. Type-1 OWA operators
link
split
Logic in computer science
3.85. Type-2 fuzzy sets and systems
link
split
Logic in computer science
3.86. Typed lambda calculus
link
split
Logic in computer science
3.87. Undecidable problem
link
split
Logic in computer science
3.88. Unification (computer science)
link
split
Logic in computer science
3.89. WalkSAT
link
split
Logic in computer science
3.90. ΛProlog
link
split
Logic in computer science
4. Mathematical theorems in theoretical computer science
link
split
Theoretical computer science
2
4.1. Theorems in theory of computation
link
split
Mathematical theorems in theoretical computer science
4.2. Immerman–Szelepcsényi theorem
link
split
Mathematical theorems in theoretical computer science
5. Mathematics of computing
link
split
Theoretical computer science
4
5.1. Domain theory
link
split
Mathematics of computing
5.2. Mathematical software
link
split
Mathematics of computing
5.3. Actor model theory
link
split
Mathematics of computing
5.4. Log probability
link
split
Mathematics of computing
6. Natural computation
link
split
Theoretical computer science
1
6.1. MAYA-II
link
split
Natural computation
7. Problems in computer science
link
split
Theoretical computer science
7
7.1. Unsolved problems in computer science
link
split
Problems in computer science
7.2. AI winter
link
split
Problems in computer science
7.3. Dining philosophers problem
link
split
Problems in computer science
7.4. Pagh's problem
link
split
Problems in computer science
7.5. Producer–consumer problem
link
split
Problems in computer science
7.6. Sleeping barber problem
link
split
Problems in computer science
7.7. Starvation (computer science)
link
split
Problems in computer science
8. Quantum information science
link
split
Theoretical computer science
135
8.1. Quantum measurement
link
split
Quantum information science
8.2. 1QBit
link
split
Quantum information science
8.3. AQUA@home
link
split
Quantum information science
8.4. Absolutely maximally entangled state
link
split
Quantum information science
8.5. Algorithmic cooling
link
split
Quantum information science
8.6. Amplitude damping channel
link
split
Quantum information science
8.7. Ancilla bit
link
split
Quantum information science
8.8. Bekenstein bound
link
split
Quantum information science
8.9. Bell's theorem
link
split
Quantum information science
8.10. Bell diagonal state
link
split
Quantum information science
8.11. Bell state
link
split
Quantum information science
8.12. Bound entanglement
link
split
Quantum information science
8.13. Bures metric
link
split
Quantum information science
8.14. Cat state
link
split
Quantum information science
8.15. Cavity quantum electrodynamics
link
split
Quantum information science
8.16. Center for Quantum Information Science & Technology
link
split
Quantum information science
8.17. Centre for Nanoscience and Quantum Information
link
split
Quantum information science
8.18. Centre for Quantum Technologies
link
split
Quantum information science
8.19. Charge qubit
link
split
Quantum information science
8.20. Circuit quantum electrodynamics
link
split
Quantum information science
8.21. Classical information channel
link
split
Quantum information science
8.22. Cluster state
link
split
Quantum information science
8.23. Continuous-time quantum walk
link
split
Quantum information science
8.24. Continuous-variable quantum information
link
split
Quantum information science
8.25. Controlled NOT gate
link
split
Quantum information science
8.26. Counterfactual quantum computation
link
split
Quantum information science
8.27. D-Wave Two
link
split
Quantum information science
8.28. Decoherence-free subspaces
link
split
Quantum information science
8.29. Deferred measurement principle
link
split
Quantum information science
8.30. Dephasing
link
split
Quantum information science
8.31. Dynamical decoupling
link
split
Quantum information science
8.32. Elitzur–Vaidman bomb tester
link
split
Quantum information science
8.33. Entanglement-assisted classical capacity
link
split
Quantum information science
8.34. Entanglement depth
link
split
Quantum information science
8.35. Entropy exchange
link
split
Quantum information science
8.36. Fidelity of quantum states
link
split
Quantum information science
8.37. Flux qubit
link
split
Quantum information science
8.38. Fundamental Fysiks Group
link
split
Quantum information science
8.39. Georgia Tech Quantum Institute
link
split
Quantum information science
8.40. Germanium-vacancy center in diamond
link
split
Quantum information science
8.41. Gnu code
link
split
Quantum information science
8.42. Gottesman–Knill theorem
link
split
Quantum information science
8.43. Graph state
link
split
Quantum information science
8.44. Hamiltonian simulation
link
split
Quantum information science
8.45. Holographic principle
link
split
Quantum information science
8.46. Information causality
link
split
Quantum information science
8.47. Institute for Quantum Computing
link
split
Quantum information science
8.48. KLM protocol
link
split
Quantum information science
8.49. LOCC
link
split
Quantum information science
8.50. Leggett inequality
link
split
Quantum information science
8.51. Leggett–Garg inequality
link
split
Quantum information science
8.52. Libquantum
link
split
Quantum information science
8.53. Linear optical quantum computing
link
split
Quantum information science
8.54. M-Labs
link
split
Quantum information science
8.55. Margolus–Levitin theorem
link
split
Quantum information science
8.56. Monogamy of entanglement
link
split
Quantum information science
8.57. Multipartite entanglement
link
split
Quantum information science
8.58. NOON state
link
split
Quantum information science
8.59. Negativity (quantum mechanics)
link
split
Quantum information science
8.60. No-broadcasting theorem
link
split
Quantum information science
8.61. No-cloning theorem
link
split
Quantum information science
8.62. No-communication theorem
link
split
Quantum information science
8.63. No-deleting theorem
link
split
Quantum information science
8.64. Noiseless subsystems
link
split
Quantum information science
8.65. Nuclear magnetic resonance quantum computer
link
split
Quantum information science
8.66. Optical cluster state
link
split
Quantum information science
8.67. Pauli group
link
split
Quantum information science
8.68. Phase qubit
link
split
Quantum information science
8.69. Physical Review A
link
split
Quantum information science
8.70. Pockels effect
link
split
Quantum information science
8.71. Pulse programming
link
split
Quantum information science
8.72. Pusey–Barrett–Rudolph theorem
link
split
Quantum information science
8.73. Quantinuum
link
split
Quantum information science
8.74. Quantum Byzantine agreement
link
split
Quantum information science
8.75. Quantum Communications Hub
link
split
Quantum information science
8.76. Quantum Cramér–Rao bound
link
split
Quantum information science
8.77. Quantum Experiments at Space Scale
link
split
Quantum information science
8.78. Quantum Fisher information
link
split
Quantum information science
8.79. Quantum LC circuit
link
split
Quantum information science
8.80. Quantum Markov chain
link
split
Quantum information science
8.81. Quantum Theory: Concepts and Methods
link
split
Quantum information science
8.82. Quantum bus
link
split
Quantum information science
8.83. Quantum catalyst
link
split
Quantum information science
8.84. Quantum cellular automaton
link
split
Quantum information science
8.85. Quantum cloning
link
split
Quantum information science
8.86. Quantum convolutional code
link
split
Quantum information science
8.87. Quantum discord
link
split
Quantum information science
8.88. Quantum dot cellular automaton
link
split
Quantum information science
8.89. Quantum entanglement
link
split
Quantum information science
8.90. Quantum fingerprinting
link
split
Quantum information science
8.91. Quantum game theory
link
split
Quantum information science
8.92. Quantum gate teleportation
link
split
Quantum information science
8.93. Quantum illumination
link
split
Quantum information science
8.94. Quantum imaging
link
split
Quantum information science
8.95. Quantum key distribution
link
split
Quantum information science
8.96. Quantum lithography
link
split
Quantum information science
8.97. Quantum logic clock
link
split
Quantum information science
8.98. Quantum logic gate
link
split
Quantum information science
8.99. Quantum memory
link
split
Quantum information science
8.100. Quantum metrology
link
split
Quantum information science
8.101. Quantum neural network
link
split
Quantum information science
8.102. Quantum pseudo-telepathy
link
split
Quantum information science
8.103. Quantum radar
link
split
Quantum information science
8.104. Quantum readout
link
split
Quantum information science
8.105. Quantum refereed game
link
split
Quantum information science
8.106. Quantum register
link
split
Quantum information science
8.107. Quantum sensor
link
split
Quantum information science
8.108. Quantum signal processing
link
split
Quantum information science
8.109. Quantum technology
link
split
Quantum information science
8.110. QxBranch
link
split
Quantum information science
8.111. Range criterion
link
split
Quantum information science
8.112. Reduced dynamics
link
split
Quantum information science
8.113. Reduction criterion
link
split
Quantum information science
8.114. Relativistic quantum cryptography
link
split
Quantum information science
8.115. Rigetti Computing
link
split
Quantum information science
8.116. Separable state
link
split
Quantum information science
8.117. Silicon-vacancy center in diamond
link
split
Quantum information science
8.118. Spin qubit quantum computer
link
split
Quantum information science
8.119. Spin squeezing
link
split
Quantum information science
8.120. Squashed entanglement
link
split
Quantum information science
8.121. State-merging
link
split
Quantum information science
8.122. Steane code
link
split
Quantum information science
8.123. Superconducting quantum computing
link
split
Quantum information science
8.124. Superdense coding
link
split
Quantum information science
8.125. Symmetric logarithmic derivative
link
split
Quantum information science
8.126. Time-bin encoding
link
split
Quantum information science
8.127. Toric code
link
split
Quantum information science
8.128. Trace distance
link
split
Quantum information science
8.129. Transmon
link
split
Quantum information science
8.130. Trapped-ion quantum computer
link
split
Quantum information science
8.131. USC-Lockheed Martin Quantum Computing Center
link
split
Quantum information science
8.132. Uncomputation
link
split
Quantum information science
8.133. Waterloo Institute for Nanotechnology
link
split
Quantum information science
8.134. Weak measurement
link
split
Quantum information science
8.135. Weak value
link
split
Quantum information science
9. Rewriting systems
link
split
Theoretical computer science
20
9.1. Substitution (logic)
link
split
Rewriting systems
9.2. Term-rewriting programming languages
link
split
Rewriting systems
9.3. Church–Rosser theorem
link
split
Rewriting systems
9.4. Confluence (abstract rewriting)
link
split
Rewriting systems
9.5. Convergence (logic)
link
split
Rewriting systems
9.6. Critical pair (term rewriting)
link
split
Rewriting systems
9.7. Director string
link
split
Rewriting systems
9.8. Divergence (computer science)
link
split
Rewriting systems
9.9. Encompassment ordering
link
split
Rewriting systems
9.10. Explicit substitution
link
split
Rewriting systems
9.11. Jean-Pierre Jouannaud
link
split
Rewriting systems
9.12. Newman's lemma
link
split
Rewriting systems
9.13. Orthogonality (term rewriting)
link
split
Rewriting systems
9.14. Overlap (term rewriting)
link
split
Rewriting systems
9.15. Path ordering (term rewriting)
link
split
Rewriting systems
9.16. Reduction strategy
link
split
Rewriting systems
9.17. Reflexive closure
link
split
Rewriting systems
9.18. Rewrite order
link
split
Rewriting systems
9.19. Symmetric closure
link
split
Rewriting systems
9.20. Term (logic)
link
split
Rewriting systems
10. Theoretical computer science conferences
link
split
Theoretical computer science
25
10.1. Computational Complexity Conference
link
split
Theoretical computer science conferences
10.2. Computer Aided Verification
link
split
Theoretical computer science conferences
10.3. Conference on Automated Deduction
link
split
Theoretical computer science conferences
10.4. European Symposium on Algorithms
link
split
Theoretical computer science conferences
10.5. Innovations in Theoretical Computer Science
link
split
Theoretical computer science conferences
10.6. Interactive Theorem Proving (conference)
link
split
Theoretical computer science conferences
10.7. International Colloquium on Automata, Languages and Programming
link
split
Theoretical computer science conferences
10.8. International Conference on Applications and Theory of Petri Nets and Concurrency
link
split
Theoretical computer science conferences
10.9. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
link
split
Theoretical computer science conferences
10.10. International Conference on Rewriting Techniques and Applications
link
split
Theoretical computer science conferences
10.11. International Conference on Theory and Applications of Models of Computation
link
split
Theoretical computer science conferences
10.12. International Joint Conference on Automated Reasoning
link
split
Theoretical computer science conferences
10.13. International Symposium on Distributed Computing
link
split
Theoretical computer science conferences
10.14. International Symposium on Fundamentals of Computation Theory
link
split
Theoretical computer science conferences
10.15. International Symposium on Graph Drawing
link
split
Theoretical computer science conferences
10.16. Logic for Programming, Artificial Intelligence and Reasoning
link
split
Theoretical computer science conferences
10.17. RAMiCS
link
split
Theoretical computer science conferences
10.18. SWAT and WADS conferences
link
split
Theoretical computer science conferences
10.19. Symposium on Computational Geometry
link
split
Theoretical computer science conferences
10.20. Symposium on Discrete Algorithms
link
split
Theoretical computer science conferences
10.21. Symposium on Foundations of Computer Science
link
split
Theoretical computer science conferences
10.22. Symposium on Parallelism in Algorithms and Architectures
link
split
Theoretical computer science conferences
10.23. Symposium on Principles of Distributed Computing
link
split
Theoretical computer science conferences
10.24. Symposium on Theory of Computing
link
split
Theoretical computer science conferences
10.25. Workshop on Logic, Language, Information and Computation
link
split
Theoretical computer science conferences
11. Theoretical computer scientists
link
split
Theoretical computer science
265
11.1. Formal methods people
link
split
Theoretical computer scientists
11.2. Researchers in geometric algorithms
link
split
Theoretical computer scientists
11.3. Adam Wierman
link
split
Theoretical computer scientists
11.4. Alan Cobham (mathematician)
link
split
Theoretical computer scientists
11.5. Alan Selman
link
split
Theoretical computer scientists
11.6. Albert R. Meyer
link
split
Theoretical computer scientists
11.7. Alexander Meduna
link
split
Theoretical computer scientists
11.8. Alexander Razborov
link
split
Theoretical computer scientists
11.9. Alexander Schrijver
link
split
Theoretical computer scientists
11.10. Alfred Aho
link
split
Theoretical computer scientists
11.11. Alistair Sinclair
link
split
Theoretical computer scientists
11.12. Allan Borodin
link
split
Theoretical computer scientists
11.13. Amir Pnueli
link
split
Theoretical computer scientists
11.14. Amit Kumar (academic)
link
split
Theoretical computer scientists
11.15. Amit Sahai
link
split
Theoretical computer scientists
11.16. Amos Fiat
link
split
Theoretical computer scientists
11.17. Anca Muscholl
link
split
Theoretical computer scientists
11.18. Andrea LaPaugh
link
split
Theoretical computer scientists
11.19. Andris Ambainis
link
split
Theoretical computer scientists
11.20. Angelika Steger
link
split
Theoretical computer scientists
11.21. Anna Karlin
link
split
Theoretical computer scientists
11.22. Arnold L. Rosenberg
link
split
Theoretical computer scientists
11.23. Arun Sharma (computer scientist)
link
split
Theoretical computer scientists
11.24. Assaf Naor
link
split
Theoretical computer scientists
11.25. Avi Wigderson
link
split
Theoretical computer scientists
11.26. Avinash Kak
link
split
Theoretical computer scientists
11.27. Avner Magen
link
split
Theoretical computer scientists
11.28. Avrim Blum
link
split
Theoretical computer scientists
11.29. Baruch Awerbuch
link
split
Theoretical computer scientists
11.30. Baruch Schieber
link
split
Theoretical computer scientists
11.31. Benjamin Rossman
link
split
Theoretical computer scientists
11.32. Boaz Barak
link
split
Theoretical computer scientists
11.33. Brenda Baker
link
split
Theoretical computer scientists
11.34. Carolyn Talcott
link
split
Theoretical computer scientists
11.35. Carsten Lund
link
split
Theoretical computer scientists
11.36. Charles E. Leiserson
link
split
Theoretical computer scientists
11.37. Chris Umans
link
split
Theoretical computer scientists
11.38. Christel Baier
link
split
Theoretical computer scientists
11.39. Christos Papadimitriou
link
split
Theoretical computer scientists
11.40. Claire Mathieu
link
split
Theoretical computer scientists
11.41. Claude Lemaréchal
link
split
Theoretical computer scientists
11.42. Cristina Bazgan
link
split
Theoretical computer scientists
11.43. Cristopher Moore
link
split
Theoretical computer scientists
11.44. Cynthia Dwork
link
split
Theoretical computer scientists
11.45. Dan Hirschberg
link
split
Theoretical computer scientists
11.46. Dan Willard
link
split
Theoretical computer scientists
11.47. Dana Angluin
link
split
Theoretical computer scientists
11.48. Dana Moshkovitz
link
split
Theoretical computer scientists
11.49. Dana Randall
link
split
Theoretical computer scientists
11.50. Dana Ron
link
split
Theoretical computer scientists
11.51. Daniel Sleator
link
split
Theoretical computer scientists
11.52. Daniel Spielman
link
split
Theoretical computer scientists
11.53. Danny Dolev
link
split
Theoretical computer scientists
11.54. David E. Goldberg
link
split
Theoretical computer scientists
11.55. David Luenberger
link
split
Theoretical computer scientists
11.56. David Peleg (computer scientist)
link
split
Theoretical computer scientists
11.57. David Zuckerman (computer scientist)
link
split
Theoretical computer scientists
11.58. Dexter Kozen
link
split
Theoretical computer scientists
11.59. Donald B. Johnson
link
split
Theoretical computer scientists
11.60. Edith Cohen
link
split
Theoretical computer scientists
11.61. Edsger W. Dijkstra
link
split
Theoretical computer scientists
11.62. Edward G. Coffman Jr.
link
split
Theoretical computer scientists
11.63. Elette Boyle
link
split
Theoretical computer scientists
11.64. Eli Shamir
link
split
Theoretical computer scientists
11.65. Eli Upfal
link
split
Theoretical computer scientists
11.66. Endre Szemerédi
link
split
Theoretical computer scientists
11.67. Eric Allender
link
split
Theoretical computer scientists
11.68. Erik Demaine
link
split
Theoretical computer scientists
11.69. Eugene Lawler
link
split
Theoretical computer scientists
11.70. Eun Jung Kim (parameterized complexity)
link
split
Theoretical computer scientists
11.71. Faith Ellen
link
split
Theoretical computer scientists
11.72. Ferdinand Peper
link
split
Theoretical computer scientists
11.73. Ferran Hurtado
link
split
Theoretical computer scientists
11.74. Florian Neukart
link
split
Theoretical computer scientists
11.75. Fotios Zaharoglou
link
split
Theoretical computer scientists
11.76. Franco P. Preparata
link
split
Theoretical computer scientists
11.77. Gary Miller (computer scientist)
link
split
Theoretical computer scientists
11.78. Gheorghe Păun
link
split
Theoretical computer scientists
11.79. Giuseppe F. Italiano
link
split
Theoretical computer scientists
11.80. Greta Panova
link
split
Theoretical computer scientists
11.81. Gunther Schmidt
link
split
Theoretical computer scientists
11.82. Gustave Solomon
link
split
Theoretical computer scientists
11.83. Gábor N. Sárközy
link
split
Theoretical computer scientists
11.84. Hans Hermes
link
split
Theoretical computer scientists
11.85. Hans L. Bodlaender
link
split
Theoretical computer scientists
11.86. Harry Mairson
link
split
Theoretical computer scientists
11.87. Harry R. Lewis
link
split
Theoretical computer scientists
11.88. Hisao Yamada
link
split
Theoretical computer scientists
11.89. I. J. Good
link
split
Theoretical computer scientists
11.90. Ian Munro (computer scientist)
link
split
Theoretical computer scientists
11.91. Jack Lutz
link
split
Theoretical computer scientists
11.92. James Renegar
link
split
Theoretical computer scientists
11.93. Jan van Leeuwen
link
split
Theoretical computer scientists
11.94. Janusz Brzozowski (computer scientist)
link
split
Theoretical computer scientists
11.95. Jean-Éric Pin
link
split
Theoretical computer scientists
11.96. Jean Gallier
link
split
Theoretical computer scientists
11.97. Jeff Edmonds
link
split
Theoretical computer scientists
11.98. Jennifer Tour Chayes
link
split
Theoretical computer scientists
11.99. Jin-Yi Cai
link
split
Theoretical computer scientists
11.100. Joachim von zur Gathen
link
split
Theoretical computer scientists
11.101. Joan Feigenbaum
link
split
Theoretical computer scientists
11.102. Johan Håstad
link
split
Theoretical computer scientists
11.103. John Koza
link
split
Theoretical computer scientists
11.104. John Reif
link
split
Theoretical computer scientists
11.105. John Watrous (computer scientist)
link
split
Theoretical computer scientists
11.106. Juhani Karhumäki
link
split
Theoretical computer scientists
11.107. Julia Chuzhoy
link
split
Theoretical computer scientists
11.108. Juraj Hromkovič
link
split
Theoretical computer scientists
11.109. Juris Hartmanis
link
split
Theoretical computer scientists
11.110. János Komlós (mathematician)
link
split
Theoretical computer scientists
11.111. Katrina Ligett
link
split
Theoretical computer scientists
11.112. Kavitha Telikepalli
link
split
Theoretical computer scientists
11.113. Kazuo Iwama (computer scientist)
link
split
Theoretical computer scientists
11.114. Ken Batcher
link
split
Theoretical computer scientists
11.115. Ketan Mulmuley
link
split
Theoretical computer scientists
11.116. Kosaburo Hashiguchi
link
split
Theoretical computer scientists
11.117. Kousha Etessami
link
split
Theoretical computer scientists
11.118. Lance Fortnow
link
split
Theoretical computer scientists
11.119. Larry Stockmeyer
link
split
Theoretical computer scientists
11.120. Lawrence J. Fogel
link
split
Theoretical computer scientists
11.121. Lenore Blum
link
split
Theoretical computer scientists
11.122. Leslie Ann Goldberg
link
split
Theoretical computer scientists
11.123. Leslie Valiant
link
split
Theoretical computer scientists
11.124. Li Huatian
link
split
Theoretical computer scientists
11.125. Lov Grover
link
split
Theoretical computer scientists
11.126. Luca Trevisan
link
split
Theoretical computer scientists
11.127. László Babai
link
split
Theoretical computer scientists
11.128. Maarten van Emden
link
split
Theoretical computer scientists
11.129. Madhu Sudan
link
split
Theoretical computer scientists
11.130. Manindra Agrawal
link
split
Theoretical computer scientists
11.131. Manuel Blum
link
split
Theoretical computer scientists
11.132. Marek Karpinski
link
split
Theoretical computer scientists
11.133. Marilyn Walker
link
split
Theoretical computer scientists
11.134. Mario Szegedy
link
split
Theoretical computer scientists
11.135. Mark Jerrum
link
split
Theoretical computer scientists
11.136. Martin Dyer
link
split
Theoretical computer scientists
11.137. Mary Wootters
link
split
Theoretical computer scientists
11.138. Maxime Crochemore
link
split
Theoretical computer scientists
11.139. Michael A. Bender
link
split
Theoretical computer scientists
11.140. Michael A. Harrison
link
split
Theoretical computer scientists
11.141. Michael Fellows
link
split
Theoretical computer scientists
11.142. Michael Fredman
link
split
Theoretical computer scientists
11.143. Michael Garey
link
split
Theoretical computer scientists
11.144. Michael J. Fischer
link
split
Theoretical computer scientists
11.145. Michael Luby
link
split
Theoretical computer scientists
11.146. Michael Mitzenmacher
link
split
Theoretical computer scientists
11.147. Michael O. Rabin
link
split
Theoretical computer scientists
11.148. Michael Saks (mathematician)
link
split
Theoretical computer scientists
11.149. Michael Sipser
link
split
Theoretical computer scientists
11.150. Michael W. Shields
link
split
Theoretical computer scientists
11.151. Michal Parnas
link
split
Theoretical computer scientists
11.152. Mihai Pătrașcu (computer scientist)
link
split
Theoretical computer scientists
11.153. Mihalis Yannakakis
link
split
Theoretical computer scientists
11.154. Mike Paterson
link
split
Theoretical computer scientists
11.155. Mikhail Atallah
link
split
Theoretical computer scientists
11.156. Mikkel Thorup
link
split
Theoretical computer scientists
11.157. Miklós Ajtai
link
split
Theoretical computer scientists
11.158. Mohammad Hajiaghayi
link
split
Theoretical computer scientists
11.159. Moni Naor
link
split
Theoretical computer scientists
11.160. Monika Henzinger
link
split
Theoretical computer scientists
11.161. Moti Yung
link
split
Theoretical computer scientists
11.162. Nachum Dershowitz
link
split
Theoretical computer scientists
11.163. Nancy Lynch
link
split
Theoretical computer scientists
11.164. Narendra Karmarkar
link
split
Theoretical computer scientists
11.165. Nati Linial
link
split
Theoretical computer scientists
11.166. Naum Z. Shor
link
split
Theoretical computer scientists
11.167. Naveen Garg
link
split
Theoretical computer scientists
11.168. Neeraj Kayal
link
split
Theoretical computer scientists
11.169. Neil Immerman
link
split
Theoretical computer scientists
11.170. Nick Pippenger
link
split
Theoretical computer scientists
11.171. Nicole Immorlica
link
split
Theoretical computer scientists
11.172. Nicole Megow
link
split
Theoretical computer scientists
11.173. Nir Shavit
link
split
Theoretical computer scientists
11.174. Nissim Francez
link
split
Theoretical computer scientists
11.175. Nitin Saxena
link
split
Theoretical computer scientists
11.176. Noam Nisan
link
split
Theoretical computer scientists
11.177. Oded Goldreich
link
split
Theoretical computer scientists
11.178. Ofer Strichman
link
split
Theoretical computer scientists
11.179. Omer Reingold
link
split
Theoretical computer scientists
11.180. Oscar H. Ibarra
link
split
Theoretical computer scientists
11.181. Paritosh Pandya
link
split
Theoretical computer scientists
11.182. Patricia Bouyer-Decitre
link
split
Theoretical computer scientists
11.183. Patrick C. Fischer
link
split
Theoretical computer scientists
11.184. Paul Christiano (researcher)
link
split
Theoretical computer scientists
11.185. Paul Vitányi
link
split
Theoretical computer scientists
11.186. Peter Ružička
link
split
Theoretical computer scientists
11.187. Peter Shor
link
split
Theoretical computer scientists
11.188. Peter van Emde Boas
link
split
Theoretical computer scientists
11.189. Philippa Gardner
link
split
Theoretical computer scientists
11.190. Piotr Indyk
link
split
Theoretical computer scientists
11.191. R. C. T. Lee
link
split
Theoretical computer scientists
11.192. Rafail Ostrovsky
link
split
Theoretical computer scientists
11.193. Rajeev Motwani
link
split
Theoretical computer scientists
11.194. Ran Libeskind-Hadas
link
split
Theoretical computer scientists
11.195. Ran Raz
link
split
Theoretical computer scientists
11.196. Rasmus Pagh
link
split
Theoretical computer scientists
11.197. Ravindran Kannan
link
split
Theoretical computer scientists
11.198. Ray Solomonoff
link
split
Theoretical computer scientists
11.199. Rediet Abebe
link
split
Theoretical computer scientists
11.200. Richard Cleve
link
split
Theoretical computer scientists
11.201. Richard Lipton
link
split
Theoretical computer scientists
11.202. Richart E. Slusher
link
split
Theoretical computer scientists
11.203. Robert McNaughton
link
split
Theoretical computer scientists
11.204. Rod Downey
link
split
Theoretical computer scientists
11.205. Ronald V. Book
link
split
Theoretical computer scientists
11.206. Ronitt Rubinfeld
link
split
Theoretical computer scientists
11.207. Rudolf Berghammer
link
split
Theoretical computer scientists
11.208. Ryan Williams (computer scientist)
link
split
Theoretical computer scientists
11.209. Róbert Szelepcsényi
link
split
Theoretical computer scientists
11.210. Rózsa Péter
link
split
Theoretical computer scientists
11.211. Rüdiger Valk
link
split
Theoretical computer scientists
11.212. Rūsiņš Mārtiņš Freivalds
link
split
Theoretical computer scientists
11.213. S. Muthukrishnan (computer scientist)
link
split
Theoretical computer scientists
11.214. S. Rao Kosaraju
link
split
Theoretical computer scientists
11.215. Salil Vadhan
link
split
Theoretical computer scientists
11.216. Sanjeev Arora
link
split
Theoretical computer scientists
11.217. Santosh Vempala
link
split
Theoretical computer scientists
11.218. Sartaj Sahni
link
split
Theoretical computer scientists
11.219. Scott Aaronson
link
split
Theoretical computer scientists
11.220. Seinosuke Toda
link
split
Theoretical computer scientists
11.221. Seymour Ginsburg
link
split
Theoretical computer scientists
11.222. Shafi Goldwasser
link
split
Theoretical computer scientists
11.223. Shai Halevi
link
split
Theoretical computer scientists
11.224. Sheila Greibach
link
split
Theoretical computer scientists
11.225. Shlomi Dolev
link
split
Theoretical computer scientists
11.226. Shlomo Moran
link
split
Theoretical computer scientists
11.227. Shmuel Safra
link
split
Theoretical computer scientists
11.228. Shmuel Zaks
link
split
Theoretical computer scientists
11.229. Shuchi Chawla
link
split
Theoretical computer scientists
11.230. Silvio Micali
link
split
Theoretical computer scientists
11.231. Sofya Raskhodnikova
link
split
Theoretical computer scientists
11.232. Solomon Marcus
link
split
Theoretical computer scientists
11.233. Stathis Zachos
link
split
Theoretical computer scientists
11.234. Stefan Szeider
link
split
Theoretical computer scientists
11.235. Stephen Cook
link
split
Theoretical computer scientists
11.236. Subhash Kak
link
split
Theoretical computer scientists
11.237. Subhash Khot
link
split
Theoretical computer scientists
11.238. Suresh Venkatasubramanian
link
split
Theoretical computer scientists
11.239. Susanne Albers
link
split
Theoretical computer scientists
11.240. Teofilo F. Gonzalez
link
split
Theoretical computer scientists
11.241. Tim Roughgarden
link
split
Theoretical computer scientists
11.242. Tobias Nipkow
link
split
Theoretical computer scientists
11.243. Toniann Pitassi
link
split
Theoretical computer scientists
11.244. Umesh Vazirani
link
split
Theoretical computer scientists
11.245. Uriel Feige
link
split
Theoretical computer scientists
11.246. Urmila Mahadev
link
split
Theoretical computer scientists
11.247. Uwe Schöning
link
split
Theoretical computer scientists
11.248. Uzi Vishkin
link
split
Theoretical computer scientists
11.249. Valerie King
link
split
Theoretical computer scientists
11.250. Vaughan Pratt
link
split
Theoretical computer scientists
11.251. Venkatesan Guruswami
link
split
Theoretical computer scientists
11.252. Victor Pan
link
split
Theoretical computer scientists
11.253. Victor Shoup
link
split
Theoretical computer scientists
11.254. Vijay Vazirani
link
split
Theoretical computer scientists
11.255. Viliam Geffert
link
split
Theoretical computer scientists
11.256. Virginia Vassilevska Williams
link
split
Theoretical computer scientists
11.257. Vladlen Koltun
link
split
Theoretical computer scientists
11.258. Wayne Snyder
link
split
Theoretical computer scientists
11.259. Wilfried Brauer
link
split
Theoretical computer scientists
11.260. Wojciech Rytter
link
split
Theoretical computer scientists
11.261. Yael Tauman Kalai
link
split
Theoretical computer scientists
11.262. Yinyu Ye
link
split
Theoretical computer scientists
11.263. Yossi Matias
link
split
Theoretical computer scientists
11.264. Yuri Ofman
link
split
Theoretical computer scientists
11.265. Zvi Galil
link
split
Theoretical computer scientists
12. Theory of computation
link
split
Theoretical computer science
69
12.1. Computability theory
link
split
Theory of computation
12.2. Computational complexity theory
link
split
Theory of computation
12.3. Computer arithmetic
link
split
Theory of computation
12.4. Ackermann function
link
split
Theory of computation
12.5. Admissible numbering
link
split
Theory of computation
12.6. Andreas Brandstädt
link
split
Theory of computation
12.7. Blockhead (thought experiment)
link
split
Theory of computation
12.8. Bremermann's limit
link
split
Theory of computation
12.9. Brooks–Iyengar algorithm
link
split
Theory of computation
12.10. Busy beaver
link
split
Theory of computation
12.11. Byzantine fault
link
split
Theory of computation
12.12. Church–Turing thesis
link
split
Theory of computation
12.13. Church–Turing–Deutsch principle
link
split
Theory of computation
12.14. Circuit (computer science)
link
split
Theory of computation
12.15. Computability
link
split
Theory of computation
12.16. Computable function
link
split
Theory of computation
12.17. Computable number
link
split
Theory of computation
12.18. Computable set
link
split
Theory of computation
12.19. Computably enumerable set
link
split
Theory of computation
12.20. Computation history
link
split
Theory of computation
12.21. Computation in the limit
link
split
Theory of computation
12.22. Computational semiotics
link
split
Theory of computation
12.23. Cylindric numbering
link
split
Theory of computation
12.24. Cylindrification
link
split
Theory of computation
12.25. Digital physics
link
split
Theory of computation
12.26. Effective method
link
split
Theory of computation
12.27. Entscheidungsproblem
link
split
Theory of computation
12.28. Enumerator (computer science)
link
split
Theory of computation
12.29. General recursive function
link
split
Theory of computation
12.30. Gödel numbering
link
split
Theory of computation
12.31. Halting problem
link
split
Theory of computation
12.32. History of the Church–Turing thesis
link
split
Theory of computation
12.33. Hypercomputation
link
split
Theory of computation
12.34. International Conference on Reachability Problems
link
split
Theory of computation
12.35. Intersection type discipline
link
split
Theory of computation
12.36. Introduction to the Theory of Computation
link
split
Theory of computation
12.37. Limits of computation
link
split
Theory of computation
12.38. List of computability and complexity topics
link
split
Theory of computation
12.39. List of undecidable problems
link
split
Theory of computation
12.40. Mortality (computability theory)
link
split
Theory of computation
12.41. Nomogram
link
split
Theory of computation
12.42. Nondeterministic algorithm
link
split
Theory of computation
12.43. Numbering (computability theory)
link
split
Theory of computation
12.44. Parallel computation thesis
link
split
Theory of computation
12.45. Parallel terraced scan
link
split
Theory of computation
12.46. Post correspondence problem
link
split
Theory of computation
12.47. Reachability analysis
link
split
Theory of computation
12.48. Reachability problem
link
split
Theory of computation
12.49. Real computation
link
split
Theory of computation
12.50. Rounding
link
split
Theory of computation
12.51. Scale factor (computer science)
link
split
Theory of computation
12.52. Self-reference
link
split
Theory of computation
12.53. Semiotic engineering
link
split
Theory of computation
12.54. Shadow square
link
split
Theory of computation
12.55. Simply typed lambda calculus
link
split
Theory of computation
12.56. Size-change termination principle
link
split
Theory of computation
12.57. Sudan function
link
split
Theory of computation
12.58. Tarski–Kuratowski algorithm
link
split
Theory of computation
12.59. Ten15
link
split
Theory of computation
12.60. Transcomputational problem
link
split
Theory of computation
12.61. Turing's proof
link
split
Theory of computation
12.62. Turing completeness
link
split
Theory of computation
12.63. Turing degree
link
split
Theory of computation
12.64. Turing tarpit
link
split
Theory of computation
12.65. Two Generals' Problem
link
split
Theory of computation
12.66. Undefined value
link
split
Theory of computation
12.67. Wang tile
link
split
Theory of computation
12.68. X-Machine Testing
link
split
Theory of computation
12.69. Yao's test
link
split
Theory of computation
13. ACM Doctoral Dissertation Award
link
split
Theoretical computer science
14. ACM SIGACT
link
split
Theoretical computer science
15. Algorithmic technique
link
split
Theoretical computer science
16. Analysis of Boolean functions
link
split
Theoretical computer science
17. Automated reasoning
link
split
Theoretical computer science
14
17.1. Knowledge representation
link
split
Automated reasoning
17.2. Rule engines
link
split
Automated reasoning
17.3. Type inference
link
split
Automated reasoning
17.4. Association for Automated Reasoning
link
split
Automated reasoning
17.5. Commonsense reasoning
link
split
Automated reasoning
17.6. Handbook of Automated Reasoning
link
split
Automated reasoning
17.7. Knowledge representation and reasoning
link
split
Automated reasoning
17.8. Model-based reasoning
link
split
Automated reasoning
17.9. Opportunistic reasoning
link
split
Automated reasoning
17.10. Reasoning system
link
split
Automated reasoning
17.11. Semantic reasoner
link
split
Automated reasoning
17.12. Sentient (intelligence analysis system)
link
split
Automated reasoning
17.13. Stanhope Demonstrator
link
split
Automated reasoning
17.14. The Engine
link
split
Automated reasoning
18. Bigraph
link
split
Theoretical computer science
19. Bio-inspired computing
link
split
Theoretical computer science
20. Bird–Meertens formalism
link
split
Theoretical computer science
21. Bisimulation
link
split
Theoretical computer science
22. Bridging model
link
split
Theoretical computer science
23. British Colloquium for Theoretical Computer Science
link
split
Theoretical computer science
24. Calculating Space
link
split
Theoretical computer science
25. Categorical logic
link
split
Theoretical computer science
7
25.1. Topos theory
link
split
Categorical logic
25.2. Categorical set theory
link
split
Categorical logic
25.3. Higher-dimensional algebra
link
split
Categorical logic
25.4. Lawvere theory
link
split
Categorical logic
25.5. Natural numbers object
link
split
Categorical logic
25.6. Stone's representation theorem for Boolean algebras
link
split
Categorical logic
25.7. Stone space
link
split
Categorical logic
26. Circuit Value Problem
link
split
Theoretical computer science
27. Coinduction
link
split
Theoretical computer science
28. Complexity function
link
split
Theoretical computer science
29. Computability in Europe
link
split
Theoretical computer science
30. Computation
link
split
Theoretical computer science
31. Computational problem
link
split
Theoretical computer science
32. Concurrence (quantum computing)
link
split
Theoretical computer science
33. Configurable modularity
link
split
Theoretical computer science
34. Correctness (computer science)
link
split
Theoretical computer science
35. Dynamic Data Driven Applications Systems
link
split
Theoretical computer science
36. Erdős Lectures
link
split
Theoretical computer science
37. Error tolerance (PAC learning)
link
split
Theoretical computer science
38. European Association for Theoretical Computer Science
link
split
Theoretical computer science
39. Exact cover
link
split
Theoretical computer science
40. Extractor (mathematics)
link
split
Theoretical computer science
41. Flajolet Lecture Prize
link
split
Theoretical computer science
42. Formal language
link
split
Theoretical computer science
43. Formal methods
link
split
Theoretical computer science
60
43.1. Abstract data types
link
split
Formal methods
43.2. Formal methods organizations
link
split
Formal methods
43.3. Formal methods publications
link
split
Formal methods
43.4. Formal methods stubs
link
split
Formal methods
43.5. Formal methods terminology
link
split
Formal methods
43.6. Formal methods tools
link
split
Formal methods
43.7. Program derivation
link
split
Formal methods
43.8. Satisfiability problems
link
split
Formal methods
43.9. Algebraic specification
link
split
Formal methods
43.10. And-inverter graph
link
split
Formal methods
43.11. Applicative universal grammar
link
split
Formal methods
43.12. Asynchronous system
link
split
Formal methods
43.13. Binary moment diagram
link
split
Formal methods
43.14. Business process validation
link
split
Formal methods
43.15. Concurrency semantics
link
split
Formal methods
43.16. Continued process verification
link
split
Formal methods
43.17. Critical process parameters
link
split
Formal methods
43.18. DREAM (software)
link
split
Formal methods
43.19. Dependability
link
split
Formal methods
43.20. Design space verification
link
split
Formal methods
43.21. Direct function
link
split
Formal methods
43.22. Dynamic timing verification
link
split
Formal methods
43.23. Extended static checking
link
split
Formal methods
43.24. Formal equivalence checking
link
split
Formal methods
43.25. Gödel logic
link
split
Formal methods
43.26. Homotopy type theory
link
split
Formal methods
43.27. International Conference on Software Engineering and Formal Methods
link
split
Formal methods
43.28. Invariant-based programming
link
split
Formal methods
43.29. Liskov substitution principle
link
split
Formal methods
43.30. Loop invariant
link
split
Formal methods
43.31. Loop variant
link
split
Formal methods
43.32. Lustre (programming language)
link
split
Formal methods
43.33. McCarthy 91 function
link
split
Formal methods
43.34. Model-based specification
link
split
Formal methods
43.35. Mondex
link
split
Formal methods
43.36. Oracle unified method
link
split
Formal methods
43.37. POPLmark challenge
link
split
Formal methods
43.38. Predicate transformer semantics
link
split
Formal methods
43.39. Process performance qualification protocol
link
split
Formal methods
43.40. Process qualification
link
split
Formal methods
43.41. Process validation
link
split
Formal methods
43.42. Production equipment control
link
split
Formal methods
43.43. Proof-carrying code
link
split
Formal methods
43.44. QED manifesto
link
split
Formal methods
43.45. RCOS (computer sciences)
link
split
Formal methods
43.46. Rational unified process
link
split
Formal methods
43.47. Retiming
link
split
Formal methods
43.48. Retrenchment (computing)
link
split
Formal methods
43.49. Robbins algebra
link
split
Formal methods
43.50. SIGNAL (programming language)
link
split
Formal methods
43.51. SLAM project
link
split
Formal methods
43.52. Set theory
link
split
Formal methods
43.53. Software verification and validation
link
split
Formal methods
43.54. Static timing analysis
link
split
Formal methods
43.55. Statistical static timing analysis
link
split
Formal methods
43.56. Strict function
link
split
Formal methods
43.57. Symbolic simulation
link
split
Formal methods
43.58. Syntactic methods
link
split
Formal methods
43.59. Verification and validation of computer simulation models
link
split
Formal methods
43.60. Verification condition generator
link
split
Formal methods
44. Formal verification
link
split
Theoretical computer science
45. French Institute for Research in Computer Science and Automation
link
split
Theoretical computer science
46. Full-employment theorem
link
split
Theoretical computer science
47. Fundamenta Informaticae
link
split
Theoretical computer science
48. Grammar systems theory
link
split
Theoretical computer science
49. Granular computing
link
split
Theoretical computer science
50. Gödel Prize
link
split
Theoretical computer science
51. Indirect self-reference
link
split
Theoretical computer science
52. Interactive computation
link
split
Theoretical computer science
53. Journal of Automata, Languages and Combinatorics
link
split
Theoretical computer science
54. Knowledge Based Software Assistant
link
split
Theoretical computer science
55. Knuth Prize
link
split
Theoretical computer science
56. Level ancestor problem
link
split
Theoretical computer science
57. Lowest common ancestor
link
split
Theoretical computer science
58. Machine learning in physics
link
split
Theoretical computer science
59. Manifold hypothesis
link
split
Theoretical computer science
60. Monge array
link
split
Theoretical computer science
61. Motion planning
link
split
Theoretical computer science
62. Natural computing
link
split
Theoretical computer science
63. Neighbour-sensing model
link
split
Theoretical computer science
64. Nominal techniques
link
split
Theoretical computer science
65. Nominal terms (computer science)
link
split
Theoretical computer science
66. Occam learning
link
split
Theoretical computer science
67. Pattern language (formal languages)
link
split
Theoretical computer science
68. Probabilistic bisimulation
link
split
Theoretical computer science
69. Profinite word
link
split
Theoretical computer science
70. Promise theory
link
split
Theoretical computer science
71. Pseudorandomness
link
split
Theoretical computer science
9
71.1. Ehrenfeucht–Mycielski sequence
link
split
Pseudorandomness
71.2. Hard-core predicate
link
split
Pseudorandomness
71.3. PRF advantage
link
split
Pseudorandomness
71.4. Pseudorandom binary sequence
link
split
Pseudorandomness
71.5. Pseudorandom function family
link
split
Pseudorandomness
71.6. Pseudorandom generator theorem
link
split
Pseudorandomness
71.7. Pseudorandom generators for polynomials
link
split
Pseudorandomness
71.8. Pseudorandom noise
link
split
Pseudorandomness
71.9. Stochastic screening
link
split
Pseudorandomness
72. Quantum complexity theory
link
split
Theoretical computer science
7
72.1. Claw finding problem
link
split
Quantum complexity theory
72.2. Gap-Hamming problem
link
split
Quantum complexity theory
72.3. Hamiltonian complexity
link
split
Quantum complexity theory
72.4. PP (complexity)
link
split
Quantum complexity theory
72.5. PostBQP
link
split
Quantum complexity theory
72.6. QMA
link
split
Quantum complexity theory
72.7. Quantum Turing machine
link
split
Quantum complexity theory
73. Quantum digital signature
link
split
Theoretical computer science
74. Quantum machine learning
link
split
Theoretical computer science
75. Quasi-empiricism in mathematics
link
split
Theoretical computer science
76. Regular numerical predicate
link
split
Theoretical computer science
77. Representer theorem
link
split
Theoretical computer science
78. Rough set
link
split
Theoretical computer science
79. Safety and liveness properties
link
split
Theoretical computer science
80. Scientific community metaphor
link
split
Theoretical computer science
81. Semantic spacetime
link
split
Theoretical computer science
82. Semigroup action
link
split
Theoretical computer science
83. Simulation (computer science)
link
split
Theoretical computer science
84. Small-bias sample space
link
split
Theoretical computer science
85. Spintronics
link
split
Theoretical computer science
51
85.1. Antisymmetric exchange
link
split
Spintronics
85.2. Biexciton
link
split
Spintronics
85.3. Bipolar magnetic semiconductor
link
split
Spintronics
85.4. Center for Quantum Spintronics
link
split
Spintronics
85.5. Colossal magnetoresistance
link
split
Spintronics
85.6. Cooper pair
link
split
Spintronics
85.7. Dresselhaus effect
link
split
Spintronics
85.8. Electric charge
link
split
Spintronics
85.9. Electron
link
split
Spintronics
85.10. Extraordinary magnetoresistance
link
split
Spintronics
85.11. Flux pumping
link
split
Spintronics
85.12. Giant magnetoresistance
link
split
Spintronics
85.13. Half-metal
link
split
Spintronics
85.14. Heusler compound
link
split
Spintronics
85.15. Magnetic semiconductor
link
split
Spintronics
85.16. Magneto-Electric Spin-Orbit
link
split
Spintronics
85.17. Magnetocapacitance
link
split
Spintronics
85.18. Magnetoresistance
link
split
Spintronics
85.19. Magnetoresistive RAM
link
split
Spintronics
85.20. Michael Coey
link
split
Spintronics
85.21. Pauli exclusion principle
link
split
Spintronics
85.22. Planar Hall sensor
link
split
Spintronics
85.23. Positronium
link
split
Spintronics
85.24. Quantum Hall effect
link
split
Spintronics
85.25. Quantum spin Hall effect
link
split
Spintronics
85.26. Rabi problem
link
split
Spintronics
85.27. Racetrack memory
link
split
Spintronics
85.28. Rashba effect
link
split
Spintronics
85.29. Rashba–Edelstein effect
link
split
Spintronics
85.30. Spin-transfer torque
link
split
Spintronics
85.31. Spin Hall effect
link
split
Spintronics
85.32. Spin Hall magnetoresistance
link
split
Spintronics
85.33. Spin Nernst Effect
link
split
Spintronics
85.34. Spin canting
link
split
Spintronics
85.35. Spin engineering
link
split
Spintronics
85.36. Spin gapless semiconductor
link
split
Spintronics
85.37. Spin magnetic moment
link
split
Spintronics
85.38. Spin polarization
link
split
Spintronics
85.39. Spin pumping
link
split
Spintronics
85.40. Spin transistor
link
split
Spintronics
85.41. Spin valve
link
split
Spintronics
85.42. Spinplasmonics
link
split
Spintronics
85.43. Spinterface
link
split
Spintronics
85.44. Spin–orbit interaction
link
split
Spintronics
85.45. Stern–Gerlach experiment
link
split
Spintronics
85.46. Stuart Parkin
link
split
Spintronics
85.47. Superconductivity
link
split
Spintronics
85.48. Superlattice
link
split
Spintronics
85.49. Trion (physics)
link
split
Spintronics
85.50. Tunnel magnetoresistance
link
split
Spintronics
85.51. Voigt–Thomson law
link
split
Spintronics
86. Summer School Marktoberdorf
link
split
Theoretical computer science
87. Sun–Ni law
link
split
Theoretical computer science
88. Theory of Computing Systems
link
split
Theoretical computer science
89. Threshold theorem
link
split
Theoretical computer science
90. Tree (automata theory)
link
split
Theoretical computer science
91. Tree automaton
link
split
Theoretical computer science
92. Tree transducer
link
split
Theoretical computer science
1. Computational learning theory
split
articles:
13
Theoretical computer science
toc
wiki
1.1. Algorithmic learning theory
split
Computational learning theory
toc
wiki
1.2. Bondy's theorem
split
Computational learning theory
toc
wiki
1.3. Cover's theorem
split
Computational learning theory
toc
wiki
1.4. Distribution learning theory
split
Computational learning theory
toc
wiki
1.5. Induction of regular languages
split
Computational learning theory
toc
wiki
1.6. Language identification in the limit
split
Computational learning theory
toc
wiki
1.7. Probably approximately correct learning
split
Computational learning theory
toc
wiki
1.8. Shattered set
split
Computational learning theory
toc
wiki
1.9. Teaching dimension
split
Computational learning theory
toc
wiki
1.10. Unique negative dimension
split
Computational learning theory
toc
wiki
1.11. Vapnik–Chervonenkis theory
split
Computational learning theory
toc
wiki
1.12. Win–stay, lose–switch
split
Computational learning theory
toc
wiki
1.13. Witness set
split
Computational learning theory
toc
wiki
2. Formal languages
split
articles:
163
Theoretical computer science
toc
wiki
2.1. Computer languages
split
Formal languages
toc
wiki
2.2. Dependently typed languages
split
Formal languages
toc
wiki
2.3. Formal theories
split
Formal languages
toc
wiki
2.4. Grammar frameworks
split
Formal languages
toc
wiki
2.5. L-systems
split
Formal languages
toc
wiki
2.6. Logic symbols
split
Formal languages
toc
wiki
2.7. Metalanguages
split
Formal languages
toc
wiki
2.8. Abstract rewriting system
split
Formal languages
toc
wiki
2.9. Abstract semantic graph
split
Formal languages
toc
wiki
2.10. Abstract syntax tree
split
Formal languages
toc
wiki
2.11. Adaptive grammar
split
Formal languages
toc
wiki
2.12. Affix grammar
split
Formal languages
toc
wiki
2.13. Agent Communications Language
split
Formal languages
toc
wiki
2.14. Alphabet (formal languages)
split
Formal languages
toc
wiki
2.15. Ambiguous grammar
split
Formal languages
toc
wiki
2.16. Arden's rule
split
Formal languages
toc
wiki
2.17. Attribute grammar
split
Formal languages
toc
wiki
2.18. Augmented Backus–Naur form
split
Formal languages
toc
wiki
2.19. Autocorrelation (words)
split
Formal languages
toc
wiki
2.20. Backus–Naur form
split
Formal languages
toc
wiki
2.21. Bigram
split
Formal languages
toc
wiki
2.22. Boolean grammar
split
Formal languages
toc
wiki
2.23. Brzozowski derivative
split
Formal languages
toc
wiki
2.24. Büchi-Elgot-Trakhtenbrot theorem
split
Formal languages
toc
wiki
2.25. Categorial grammar
split
Formal languages
toc
wiki
2.26. Chomsky hierarchy
split
Formal languages
toc
wiki
2.27. Chomsky normal form
split
Formal languages
toc
wiki
2.28. Chomsky–Schützenberger enumeration theorem
split
Formal languages
toc
wiki
2.29. Chomsky–Schützenberger representation theorem
split
Formal languages
toc
wiki
2.30. Closest string
split
Formal languages
toc
wiki
2.31. Compact semigroup
split
Formal languages
toc
wiki
2.32. Compiler Description Language
split
Formal languages
toc
wiki
2.33. Concatenation
split
Formal languages
toc
wiki
2.34. Cone (formal languages)
split
Formal languages
toc
wiki
2.35. Conference on Implementation and Application of Automata
split
Formal languages
toc
wiki
2.36. Conjunctive grammar
split
Formal languages
toc
wiki
2.37. Context-free grammar
split
Formal languages
toc
wiki
2.38. Context-free language
split
Formal languages
toc
wiki
2.39. Context-sensitive grammar
split
Formal languages
toc
wiki
2.40. Context-sensitive language
split
Formal languages
toc
wiki
2.41. Controlled grammar
split
Formal languages
toc
wiki
2.42. Critical exponent of a word
split
Formal languages
toc
wiki
2.43. Cross-serial dependencies
split
Formal languages
toc
wiki
2.44. Cyclic language
split
Formal languages
toc
wiki
2.45. Definite clause grammar
split
Formal languages
toc
wiki
2.46. Dershowitz–Manna ordering
split
Formal languages
toc
wiki
2.47. Descriptional Complexity of Formal Systems
split
Formal languages
toc
wiki
2.48. Descriptive interpretation
split
Formal languages
toc
wiki
2.49. Deterministic context-free grammar
split
Formal languages
toc
wiki
2.50. Deterministic context-free language
split
Formal languages
toc
wiki
2.51. Discontinuous-constituent phrase structure grammar
split
Formal languages
toc
wiki
2.52. Dyck language
split
Formal languages
toc
wiki
2.53. ECLR-attributed grammar
split
Formal languages
toc
wiki
2.54. Emptiness problem
split
Formal languages
toc
wiki
2.55. Empty string
split
Formal languages
toc
wiki
2.56. Equivalence (formal languages)
split
Formal languages
toc
wiki
2.57. Equivalence problem
split
Formal languages
toc
wiki
2.58. Extended Backus–Naur form
split
Formal languages
toc
wiki
2.59. Extended affix grammar
split
Formal languages
toc
wiki
2.60. Formal grammar
split
Formal languages
toc
wiki
2.61. Formal proof
split
Formal languages
toc
wiki
2.62. Formal system
split
Formal languages
toc
wiki
2.63. Formation rule
split
Formal languages
toc
wiki
2.64. Free monoid
split
Formal languages
toc
wiki
2.65. Generalized context-free grammar
split
Formal languages
toc
wiki
2.66. Gesture Description Language
split
Formal languages
toc
wiki
2.67. Global index grammar
split
Formal languages
toc
wiki
2.68. Greibach's theorem
split
Formal languages
toc
wiki
2.69. Greibach normal form
split
Formal languages
toc
wiki
2.70. Growing context-sensitive grammar
split
Formal languages
toc
wiki
2.71. Hall word
split
Formal languages
toc
wiki
2.72. Head grammar
split
Formal languages
toc
wiki
2.73. History monoid
split
Formal languages
toc
wiki
2.74. Indexed grammar
split
Formal languages
toc
wiki
2.75. Indexed language
split
Formal languages
toc
wiki
2.76. Interchange lemma
split
Formal languages
toc
wiki
2.77. International Conference on Developments in Language Theory
split
Formal languages
toc
wiki
2.78. Introduction to Automata Theory, Languages, and Computation
split
Formal languages
toc
wiki
2.79. Junction Grammar
split
Formal languages
toc
wiki
2.80. Kleene star
split
Formal languages
toc
wiki
2.81. Kuroda normal form
split
Formal languages
toc
wiki
2.82. L-attributed grammar
split
Formal languages
toc
wiki
2.83. LL grammar
split
Formal languages
toc
wiki
2.84. LR-attributed grammar
split
Formal languages
toc
wiki
2.85. Leftist grammar
split
Formal languages
toc
wiki
2.86. Lexical grammar
split
Formal languages
toc
wiki
2.87. Linear grammar
split
Formal languages
toc
wiki
2.88. List of formal language and literal string topics
split
Formal languages
toc
wiki
2.89. Literal movement grammar
split
Formal languages
toc
wiki
2.90. Local language (formal language)
split
Formal languages
toc
wiki
2.91. Locally catenative sequence
split
Formal languages
toc
wiki
2.92. Longest increasing subsequence
split
Formal languages
toc
wiki
2.93. Longest repeated substring problem
split
Formal languages
toc
wiki
2.94. Ludwig Staiger
split
Formal languages
toc
wiki
2.95. MU puzzle
split
Formal languages
toc
wiki
2.96. Markup language
split
Formal languages
toc
wiki
2.97. Matrix grammar
split
Formal languages
toc
wiki
2.98. Maximal pair
split
Formal languages
toc
wiki
2.99. Mildly context-sensitive grammar formalism
split
Formal languages
toc
wiki
2.100. Minimalist grammar
split
Formal languages
toc
wiki
2.101. Monoid factorisation
split
Formal languages
toc
wiki
2.102. Montague grammar
split
Formal languages
toc
wiki
2.103. Morphic word
split
Formal languages
toc
wiki
2.104. Muller–Schupp theorem
split
Formal languages
toc
wiki
2.105. Myhill–Nerode theorem
split
Formal languages
toc
wiki
2.106. Nested word
split
Formal languages
toc
wiki
2.107. Non-logical symbol
split
Formal languages
toc
wiki
2.108. Noncontracting grammar
split
Formal languages
toc
wiki
2.109. Normal form (abstract rewriting)
split
Formal languages
toc
wiki
2.110. Ogden's lemma
split
Formal languages
toc
wiki
2.111. Omega-regular language
split
Formal languages
toc
wiki
2.112. Omega language
split
Formal languages
toc
wiki
2.113. Operator-precedence grammar
split
Formal languages
toc
wiki
2.114. Parikh's theorem
split
Formal languages
toc
wiki
2.115. Parser combinator
split
Formal languages
toc
wiki
2.116. Parsing expression grammar
split
Formal languages
toc
wiki
2.117. Picture language
split
Formal languages
toc
wiki
2.118. Prefix grammar
split
Formal languages
toc
wiki
2.119. Production (computer science)
split
Formal languages
toc
wiki
2.120. Proof (truth)
split
Formal languages
toc
wiki
2.121. Pumping lemma for context-free languages
split
Formal languages
toc
wiki
2.122. Pumping lemma for regular languages
split
Formal languages
toc
wiki
2.123. Quasi-quotation
split
Formal languages
toc
wiki
2.124. Range concatenation grammar
split
Formal languages
toc
wiki
2.125. Recursively enumerable language
split
Formal languages
toc
wiki
2.126. Regular grammar
split
Formal languages
toc
wiki
2.127. Regular language
split
Formal languages
toc
wiki
2.128. Regular tree grammar
split
Formal languages
toc
wiki
2.129. Regulated rewriting
split
Formal languages
toc
wiki
2.130. Rewriting
split
Formal languages
toc
wiki
2.131. S-attributed grammar
split
Formal languages
toc
wiki
2.132. SCIgen
split
Formal languages
toc
wiki
2.133. SLR grammar
split
Formal languages
toc
wiki
2.134. Semantics encoding
split
Formal languages
toc
wiki
2.135. Semi-Thue system
split
Formal languages
toc
wiki
2.136. Sesquipower
split
Formal languages
toc
wiki
2.137. Signed-digit representation
split
Formal languages
toc
wiki
2.138. Simple precedence grammar
split
Formal languages
toc
wiki
2.139. Sparse language
split
Formal languages
toc
wiki
2.140. Splicing rule
split
Formal languages
toc
wiki
2.141. Square-free word
split
Formal languages
toc
wiki
2.142. Star height
split
Formal languages
toc
wiki
2.143. Star height problem
split
Formal languages
toc
wiki
2.144. Straight-line grammar
split
Formal languages
toc
wiki
2.145. String operations
split
Formal languages
toc
wiki
2.146. Substring
split
Formal languages
toc
wiki
2.147. Symbol (formal)
split
Formal languages
toc
wiki
2.148. Syntactic monoid
split
Formal languages
toc
wiki
2.149. Syntactic predicate
split
Formal languages
toc
wiki
2.150. Syntax (logic)
split
Formal languages
toc
wiki
2.151. Syntax diagram
split
Formal languages
toc
wiki
2.152. Terminal yield
split
Formal languages
toc
wiki
2.153. Top-down parsing language
split
Formal languages
toc
wiki
2.154. Trace monoid
split
Formal languages
toc
wiki
2.155. Trace theory
split
Formal languages
toc
wiki
2.156. Unary language
split
Formal languages
toc
wiki
2.157. Unary numeral system
split
Formal languages
toc
wiki
2.158. Unavoidable pattern
split
Formal languages
toc
wiki
2.159. Unrestricted grammar
split
Formal languages
toc
wiki
2.160. Van Wijngaarden grammar
split
Formal languages
toc
wiki
2.161. WFF 'N PROOF
split
Formal languages
toc
wiki
2.162. Well-formed formula
split
Formal languages
toc
wiki
2.163. Wirth–Weber precedence relationship
split
Formal languages
toc
wiki
3. Logic in computer science
split
articles:
90
Theoretical computer science
toc
wiki
3.1. Automated theorem proving
split
Logic in computer science
toc
wiki
3.2. Linear logic
split
Logic in computer science
toc
wiki
3.3. Logic conferences
split
Logic in computer science
toc
wiki
3.4. Logic families
split
Logic in computer science
toc
wiki
3.5. Logic gates
split
Logic in computer science
toc
wiki
3.6. Logic programming
split
Logic in computer science
toc
wiki
3.7. Logical calculi
split
Logic in computer science
toc
wiki
3.8. Modal logic
split
Logic in computer science
toc
wiki
3.9. Program logic
split
Logic in computer science
toc
wiki
3.10. Programming language semantics
split
Logic in computer science
toc
wiki
3.11. Quantum gates
split
Logic in computer science
toc
wiki
3.12. Type theory
split
Logic in computer science
toc
wiki
3.13. ACM Transactions on Computational Logic
split
Logic in computer science
toc
wiki
3.14. Alternating-time temporal logic
split
Logic in computer science
toc
wiki
3.15. Anti-unification (computer science)
split
Logic in computer science
toc
wiki
3.16. Assertion (software development)
split
Logic in computer science
toc
wiki
3.17. Backward chaining
split
Logic in computer science
toc
wiki
3.18. Boolean circuit
split
Logic in computer science
toc
wiki
3.19. Boolean flag
split
Logic in computer science
toc
wiki
3.20. Boolean satisfiability problem
split
Logic in computer science
toc
wiki
3.21. Bunched logic
split
Logic in computer science
toc
wiki
3.22. CTL*
split
Logic in computer science
toc
wiki
3.23. Combinational logic
split
Logic in computer science
toc
wiki
3.24. Combs method
split
Logic in computer science
toc
wiki
3.25. CompCert
split
Logic in computer science
toc
wiki
3.26. Computability logic
split
Logic in computer science
toc
wiki
3.27. Computation tree logic
split
Logic in computer science
toc
wiki
3.28. Computational logic
split
Logic in computer science
toc
wiki
3.29. Curry–Howard correspondence
split
Logic in computer science
toc
wiki
3.30. DatalogZ
split
Logic in computer science
toc
wiki
3.31. DiVincenzo's criteria
split
Logic in computer science
toc
wiki
3.32. Dynamic logic (modal logic)
split
Logic in computer science
toc
wiki
3.33. Event calculus
split
Logic in computer science
toc
wiki
3.34. Fluent (artificial intelligence)
split
Logic in computer science
toc
wiki
3.35. Frege system
split
Logic in computer science
toc
wiki
3.36. Functional completeness
split
Logic in computer science
toc
wiki
3.37. Functional verification
split
Logic in computer science
toc
wiki
3.38. Fuzzy logic
split
Logic in computer science
toc
wiki
3.39. Game semantics
split
Logic in computer science
toc
wiki
3.40. Geometry of interaction
split
Logic in computer science
toc
wiki
3.41. HOL (proof assistant)
split
Logic in computer science
toc
wiki
3.42. Hennessy–Milner logic
split
Logic in computer science
toc
wiki
3.43. Herbrand Award
split
Logic in computer science
toc
wiki
3.44. Horn-satisfiability
split
Logic in computer science
toc
wiki
3.45. Horn clause
split
Logic in computer science
toc
wiki
3.46. Interference freedom
split
Logic in computer science
toc
wiki
3.47. Intuitionistic logic
split
Logic in computer science
toc
wiki
3.48. Intuitionistic type theory
split
Logic in computer science
toc
wiki
3.49. Journal of Automated Reasoning
split
Logic in computer science
toc
wiki
3.50. Journal of Logic and Computation
split
Logic in computer science
toc
wiki
3.51. Karnaugh map
split
Logic in computer science
toc
wiki
3.52. Knowledge Interchange Format
split
Logic in computer science
toc
wiki
3.53. Logic for Computable Functions
split
Logic in computer science
toc
wiki
3.54. Logic optimization
split
Logic in computer science
toc
wiki
3.55. Logical Methods in Computer Science
split
Logic in computer science
toc
wiki
3.56. Logical framework
split
Logic in computer science
toc
wiki
3.57. Maximum satisfiability problem
split
Logic in computer science
toc
wiki
3.58. Model checking
split
Logic in computer science
toc
wiki
3.59. Model elimination
split
Logic in computer science
toc
wiki
3.60. Multi-Agent Programming Contest
split
Logic in computer science
toc
wiki
3.61. Noise-based logic
split
Logic in computer science
toc
wiki
3.62. Ordered weighted averaging aggregation operator
split
Logic in computer science
toc
wiki
3.63. Peano axioms
split
Logic in computer science
toc
wiki
3.64. Perceptual computing
split
Logic in computer science
toc
wiki
3.65. Postcondition
split
Logic in computer science
toc
wiki
3.66. Precondition
split
Logic in computer science
toc
wiki
3.67. Preferential entailment
split
Logic in computer science
toc
wiki
3.68. Proof complexity
split
Logic in computer science
toc
wiki
3.69. Propositional proof system
split
Logic in computer science
toc
wiki
3.70. Q0 (mathematical logic)
split
Logic in computer science
toc
wiki
3.71. Race condition
split
Logic in computer science
toc
wiki
3.72. Racetrack problem
split
Logic in computer science
toc
wiki
3.73. Runtime verification
split
Logic in computer science
toc
wiki
3.74. SAT solver
split
Logic in computer science
toc
wiki
3.75. Satisfiability modulo theories
split
Logic in computer science
toc
wiki
3.76. Separation logic
split
Logic in computer science
toc
wiki
3.77. Sequential logic
split
Logic in computer science
toc
wiki
3.78. State space enumeration
split
Logic in computer science
toc
wiki
3.79. Structural induction
split
Logic in computer science
toc
wiki
3.80. Successor function
split
Logic in computer science
toc
wiki
3.81. Symposium on Logic in Computer Science
split
Logic in computer science
toc
wiki
3.82. Tseytin transformation
split
Logic in computer science
toc
wiki
3.83. Twelf
split
Logic in computer science
toc
wiki
3.84. Type-1 OWA operators
split
Logic in computer science
toc
wiki
3.85. Type-2 fuzzy sets and systems
split
Logic in computer science
toc
wiki
3.86. Typed lambda calculus
split
Logic in computer science
toc
wiki
3.87. Undecidable problem
split
Logic in computer science
toc
wiki
3.88. Unification (computer science)
split
Logic in computer science
toc
wiki
3.89. WalkSAT
split
Logic in computer science
toc
wiki
3.90. ΛProlog
split
Logic in computer science
toc
wiki
4. Mathematical theorems in theoretical computer science
split
articles:
2
Theoretical computer science
toc
wiki
4.1. Theorems in theory of computation
split
Mathematical theorems in theoretical computer science
toc
wiki
4.2. Immerman–Szelepcsényi theorem
split
Mathematical theorems in theoretical computer science
toc
wiki
5. Mathematics of computing
split
articles:
4
Theoretical computer science
toc
wiki
5.1. Domain theory
split
Mathematics of computing
toc
wiki
5.2. Mathematical software
split
Mathematics of computing
toc
wiki
5.3. Actor model theory
split
Mathematics of computing
toc
wiki
5.4. Log probability
split
Mathematics of computing
toc
wiki
6. Natural computation
split
articles:
1
Theoretical computer science
toc
wiki
6.1. MAYA-II
split
Natural computation
toc
wiki
7. Problems in computer science
split
articles:
7
Theoretical computer science
toc
wiki
7.1. Unsolved problems in computer science
split
Problems in computer science
toc
wiki
7.2. AI winter
split
Problems in computer science
toc
wiki
7.3. Dining philosophers problem
split
Problems in computer science
toc
wiki
7.4. Pagh's problem
split
Problems in computer science
toc
wiki
7.5. Producer–consumer problem
split
Problems in computer science
toc
wiki
7.6. Sleeping barber problem
split
Problems in computer science
toc
wiki
7.7. Starvation (computer science)
split
Problems in computer science
toc
wiki
8. Quantum information science
split
articles:
135
Theoretical computer science
toc
wiki
8.1. Quantum measurement
split
Quantum information science
toc
wiki
8.2. 1QBit
split
Quantum information science
toc
wiki
8.3. AQUA@home
split
Quantum information science
toc
wiki
8.4. Absolutely maximally entangled state
split
Quantum information science
toc
wiki
8.5. Algorithmic cooling
split
Quantum information science
toc
wiki
8.6. Amplitude damping channel
split
Quantum information science
toc
wiki
8.7. Ancilla bit
split
Quantum information science
toc
wiki
8.8. Bekenstein bound
split
Quantum information science
toc
wiki
8.9. Bell's theorem
split
Quantum information science
toc
wiki
8.10. Bell diagonal state
split
Quantum information science
toc
wiki
8.11. Bell state
split
Quantum information science
toc
wiki
8.12. Bound entanglement
split
Quantum information science
toc
wiki
8.13. Bures metric
split
Quantum information science
toc
wiki
8.14. Cat state
split
Quantum information science
toc
wiki
8.15. Cavity quantum electrodynamics
split
Quantum information science
toc
wiki
8.16. Center for Quantum Information Science & Technology
split
Quantum information science
toc
wiki
8.17. Centre for Nanoscience and Quantum Information
split
Quantum information science
toc
wiki
8.18. Centre for Quantum Technologies
split
Quantum information science
toc
wiki
8.19. Charge qubit
split
Quantum information science
toc
wiki
8.20. Circuit quantum electrodynamics
split
Quantum information science
toc
wiki
8.21. Classical information channel
split
Quantum information science
toc
wiki
8.22. Cluster state
split
Quantum information science
toc
wiki
8.23. Continuous-time quantum walk
split
Quantum information science
toc
wiki
8.24. Continuous-variable quantum information
split
Quantum information science
toc
wiki
8.25. Controlled NOT gate
split
Quantum information science
toc
wiki
8.26. Counterfactual quantum computation
split
Quantum information science
toc
wiki
8.27. D-Wave Two
split
Quantum information science
toc
wiki
8.28. Decoherence-free subspaces
split
Quantum information science
toc
wiki
8.29. Deferred measurement principle
split
Quantum information science
toc
wiki
8.30. Dephasing
split
Quantum information science
toc
wiki
8.31. Dynamical decoupling
split
Quantum information science
toc
wiki
8.32. Elitzur–Vaidman bomb tester
split
Quantum information science
toc
wiki
8.33. Entanglement-assisted classical capacity
split
Quantum information science
toc
wiki
8.34. Entanglement depth
split
Quantum information science
toc
wiki
8.35. Entropy exchange
split
Quantum information science
toc
wiki
8.36. Fidelity of quantum states
split
Quantum information science
toc
wiki
8.37. Flux qubit
split
Quantum information science
toc
wiki
8.38. Fundamental Fysiks Group
split
Quantum information science
toc
wiki
8.39. Georgia Tech Quantum Institute
split
Quantum information science
toc
wiki
8.40. Germanium-vacancy center in diamond
split
Quantum information science
toc
wiki
8.41. Gnu code
split
Quantum information science
toc
wiki
8.42. Gottesman–Knill theorem
split
Quantum information science
toc
wiki
8.43. Graph state
split
Quantum information science
toc
wiki
8.44. Hamiltonian simulation
split
Quantum information science
toc
wiki
8.45. Holographic principle
split
Quantum information science
toc
wiki
8.46. Information causality
split
Quantum information science
toc
wiki
8.47. Institute for Quantum Computing
split
Quantum information science
toc
wiki
8.48. KLM protocol
split
Quantum information science
toc
wiki
8.49. LOCC
split
Quantum information science
toc
wiki
8.50. Leggett inequality
split
Quantum information science
toc
wiki
8.51. Leggett–Garg inequality
split
Quantum information science
toc
wiki
8.52. Libquantum
split
Quantum information science
toc
wiki
8.53. Linear optical quantum computing
split
Quantum information science
toc
wiki
8.54. M-Labs
split
Quantum information science
toc
wiki
8.55. Margolus–Levitin theorem
split
Quantum information science
toc
wiki
8.56. Monogamy of entanglement
split
Quantum information science
toc
wiki
8.57. Multipartite entanglement
split
Quantum information science
toc
wiki
8.58. NOON state
split
Quantum information science
toc
wiki
8.59. Negativity (quantum mechanics)
split
Quantum information science
toc
wiki
8.60. No-broadcasting theorem
split
Quantum information science
toc
wiki
8.61. No-cloning theorem
split
Quantum information science
toc
wiki
8.62. No-communication theorem
split
Quantum information science
toc
wiki
8.63. No-deleting theorem
split
Quantum information science
toc
wiki
8.64. Noiseless subsystems
split
Quantum information science
toc
wiki
8.65. Nuclear magnetic resonance quantum computer
split
Quantum information science
toc
wiki
8.66. Optical cluster state
split
Quantum information science
toc
wiki
8.67. Pauli group
split
Quantum information science
toc
wiki
8.68. Phase qubit
split
Quantum information science
toc
wiki
8.69. Physical Review A
split
Quantum information science
toc
wiki
8.70. Pockels effect
split
Quantum information science
toc
wiki
8.71. Pulse programming
split
Quantum information science
toc
wiki
8.72. Pusey–Barrett–Rudolph theorem
split
Quantum information science
toc
wiki
8.73. Quantinuum
split
Quantum information science
toc
wiki
8.74. Quantum Byzantine agreement
split
Quantum information science
toc
wiki
8.75. Quantum Communications Hub
split
Quantum information science
toc
wiki
8.76. Quantum Cramér–Rao bound
split
Quantum information science
toc
wiki
8.77. Quantum Experiments at Space Scale
split
Quantum information science
toc
wiki
8.78. Quantum Fisher information
split
Quantum information science
toc
wiki
8.79. Quantum LC circuit
split
Quantum information science
toc
wiki
8.80. Quantum Markov chain
split
Quantum information science
toc
wiki
8.81. Quantum Theory: Concepts and Methods
split
Quantum information science
toc
wiki
8.82. Quantum bus
split
Quantum information science
toc
wiki
8.83. Quantum catalyst
split
Quantum information science
toc
wiki
8.84. Quantum cellular automaton
split
Quantum information science
toc
wiki
8.85. Quantum cloning
split
Quantum information science
toc
wiki
8.86. Quantum convolutional code
split
Quantum information science
toc
wiki
8.87. Quantum discord
split
Quantum information science
toc
wiki
8.88. Quantum dot cellular automaton
split
Quantum information science
toc
wiki
8.89. Quantum entanglement
split
Quantum information science
toc
wiki
8.90. Quantum fingerprinting
split
Quantum information science
toc
wiki
8.91. Quantum game theory
split
Quantum information science
toc
wiki
8.92. Quantum gate teleportation
split
Quantum information science
toc
wiki
8.93. Quantum illumination
split
Quantum information science
toc
wiki
8.94. Quantum imaging
split
Quantum information science
toc
wiki
8.95. Quantum key distribution
split
Quantum information science
toc
wiki
8.96. Quantum lithography
split
Quantum information science
toc
wiki
8.97. Quantum logic clock
split
Quantum information science
toc
wiki
8.98. Quantum logic gate
split
Quantum information science
toc
wiki
8.99. Quantum memory
split
Quantum information science
toc
wiki
8.100. Quantum metrology
split
Quantum information science
toc
wiki
8.101. Quantum neural network
split
Quantum information science
toc
wiki
8.102. Quantum pseudo-telepathy
split
Quantum information science
toc
wiki
8.103. Quantum radar
split
Quantum information science
toc
wiki
8.104. Quantum readout
split
Quantum information science
toc
wiki
8.105. Quantum refereed game
split
Quantum information science
toc
wiki
8.106. Quantum register
split
Quantum information science
toc
wiki
8.107. Quantum sensor
split
Quantum information science
toc
wiki
8.108. Quantum signal processing
split
Quantum information science
toc
wiki
8.109. Quantum technology
split
Quantum information science
toc
wiki
8.110. QxBranch
split
Quantum information science
toc
wiki
8.111. Range criterion
split
Quantum information science
toc
wiki
8.112. Reduced dynamics
split
Quantum information science
toc
wiki
8.113. Reduction criterion
split
Quantum information science
toc
wiki
8.114. Relativistic quantum cryptography
split
Quantum information science
toc
wiki
8.115. Rigetti Computing
split
Quantum information science
toc
wiki
8.116. Separable state
split
Quantum information science
toc
wiki
8.117. Silicon-vacancy center in diamond
split
Quantum information science
toc
wiki
8.118. Spin qubit quantum computer
split
Quantum information science
toc
wiki
8.119. Spin squeezing
split
Quantum information science
toc
wiki
8.120. Squashed entanglement
split
Quantum information science
toc
wiki
8.121. State-merging
split
Quantum information science
toc
wiki
8.122. Steane code
split
Quantum information science
toc
wiki
8.123. Superconducting quantum computing
split
Quantum information science
toc
wiki
8.124. Superdense coding
split
Quantum information science
toc
wiki
8.125. Symmetric logarithmic derivative
split
Quantum information science
toc
wiki
8.126. Time-bin encoding
split
Quantum information science
toc
wiki
8.127. Toric code
split
Quantum information science
toc
wiki
8.128. Trace distance
split
Quantum information science
toc
wiki
8.129. Transmon
split
Quantum information science
toc
wiki
8.130. Trapped-ion quantum computer
split
Quantum information science
toc
wiki
8.131. USC-Lockheed Martin Quantum Computing Center
split
Quantum information science
toc
wiki
8.132. Uncomputation
split
Quantum information science
toc
wiki
8.133. Waterloo Institute for Nanotechnology
split
Quantum information science
toc
wiki
8.134. Weak measurement
split
Quantum information science
toc
wiki
8.135. Weak value
split
Quantum information science
toc
wiki
9. Rewriting systems
split
articles:
20
Theoretical computer science
toc
wiki
9.1. Substitution (logic)
split
Rewriting systems
toc
wiki
9.2. Term-rewriting programming languages
split
Rewriting systems
toc
wiki
9.3. Church–Rosser theorem
split
Rewriting systems
toc
wiki
9.4. Confluence (abstract rewriting)
split
Rewriting systems
toc
wiki
9.5. Convergence (logic)
split
Rewriting systems
toc
wiki
9.6. Critical pair (term rewriting)
split
Rewriting systems
toc
wiki
9.7. Director string
split
Rewriting systems
toc
wiki
9.8. Divergence (computer science)
split
Rewriting systems
toc
wiki
9.9. Encompassment ordering
split
Rewriting systems
toc
wiki
9.10. Explicit substitution
split
Rewriting systems
toc
wiki
9.11. Jean-Pierre Jouannaud
split
Rewriting systems
toc
wiki
9.12. Newman's lemma
split
Rewriting systems
toc
wiki
9.13. Orthogonality (term rewriting)
split
Rewriting systems
toc
wiki
9.14. Overlap (term rewriting)
split
Rewriting systems
toc
wiki
9.15. Path ordering (term rewriting)
split
Rewriting systems
toc
wiki
9.16. Reduction strategy
split
Rewriting systems
toc
wiki
9.17. Reflexive closure
split
Rewriting systems
toc
wiki
9.18. Rewrite order
split
Rewriting systems
toc
wiki
9.19. Symmetric closure
split
Rewriting systems
toc
wiki
9.20. Term (logic)
split
Rewriting systems
toc
wiki
10. Theoretical computer science conferences
split
articles:
25
Theoretical computer science
toc
wiki
10.1. Computational Complexity Conference
split
Theoretical computer science conferences
toc
wiki
10.2. Computer Aided Verification
split
Theoretical computer science conferences
toc
wiki
10.3. Conference on Automated Deduction
split
Theoretical computer science conferences
toc
wiki
10.4. European Symposium on Algorithms
split
Theoretical computer science conferences
toc
wiki
10.5. Innovations in Theoretical Computer Science
split
Theoretical computer science conferences
toc
wiki
10.6. Interactive Theorem Proving (conference)
split
Theoretical computer science conferences
toc
wiki
10.7. International Colloquium on Automata, Languages and Programming
split
Theoretical computer science conferences
toc
wiki
10.8. International Conference on Applications and Theory of Petri Nets and Concurrency
split
Theoretical computer science conferences
toc
wiki
10.9. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
split
Theoretical computer science conferences
toc
wiki
10.10. International Conference on Rewriting Techniques and Applications
split
Theoretical computer science conferences
toc
wiki
10.11. International Conference on Theory and Applications of Models of Computation
split
Theoretical computer science conferences
toc
wiki
10.12. International Joint Conference on Automated Reasoning
split
Theoretical computer science conferences
toc
wiki
10.13. International Symposium on Distributed Computing
split
Theoretical computer science conferences
toc
wiki
10.14. International Symposium on Fundamentals of Computation Theory
split
Theoretical computer science conferences
toc
wiki
10.15. International Symposium on Graph Drawing
split
Theoretical computer science conferences
toc
wiki
10.16. Logic for Programming, Artificial Intelligence and Reasoning
split
Theoretical computer science conferences
toc
wiki
10.17. RAMiCS
split
Theoretical computer science conferences
toc
wiki
10.18. SWAT and WADS conferences
split
Theoretical computer science conferences
toc
wiki
10.19. Symposium on Computational Geometry
split
Theoretical computer science conferences
toc
wiki
10.20. Symposium on Discrete Algorithms
split
Theoretical computer science conferences
toc
wiki
10.21. Symposium on Foundations of Computer Science
split
Theoretical computer science conferences
toc
wiki
10.22. Symposium on Parallelism in Algorithms and Architectures
split
Theoretical computer science conferences
toc
wiki
10.23. Symposium on Principles of Distributed Computing
split
Theoretical computer science conferences
toc
wiki
10.24. Symposium on Theory of Computing
split
Theoretical computer science conferences
toc
wiki
10.25. Workshop on Logic, Language, Information and Computation
split
Theoretical computer science conferences
toc
wiki
11. Theoretical computer scientists
split
articles:
265
Theoretical computer science
toc
wiki
11.1. Formal methods people
split
Theoretical computer scientists
toc
wiki
11.2. Researchers in geometric algorithms
split
Theoretical computer scientists
toc
wiki
11.3. Adam Wierman
split
Theoretical computer scientists
toc
wiki
11.4. Alan Cobham (mathematician)
split
Theoretical computer scientists
toc
wiki
11.5. Alan Selman
split
Theoretical computer scientists
toc
wiki
11.6. Albert R. Meyer
split
Theoretical computer scientists
toc
wiki
11.7. Alexander Meduna
split
Theoretical computer scientists
toc
wiki
11.8. Alexander Razborov
split
Theoretical computer scientists
toc
wiki
11.9. Alexander Schrijver
split
Theoretical computer scientists
toc
wiki
11.10. Alfred Aho
split
Theoretical computer scientists
toc
wiki
11.11. Alistair Sinclair
split
Theoretical computer scientists
toc
wiki
11.12. Allan Borodin
split
Theoretical computer scientists
toc
wiki
11.13. Amir Pnueli
split
Theoretical computer scientists
toc
wiki
11.14. Amit Kumar (academic)
split
Theoretical computer scientists
toc
wiki
11.15. Amit Sahai
split
Theoretical computer scientists
toc
wiki
11.16. Amos Fiat
split
Theoretical computer scientists
toc
wiki
11.17. Anca Muscholl
split
Theoretical computer scientists
toc
wiki
11.18. Andrea LaPaugh
split
Theoretical computer scientists
toc
wiki
11.19. Andris Ambainis
split
Theoretical computer scientists
toc
wiki
11.20. Angelika Steger
split
Theoretical computer scientists
toc
wiki
11.21. Anna Karlin
split
Theoretical computer scientists
toc
wiki
11.22. Arnold L. Rosenberg
split
Theoretical computer scientists
toc
wiki
11.23. Arun Sharma (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.24. Assaf Naor
split
Theoretical computer scientists
toc
wiki
11.25. Avi Wigderson
split
Theoretical computer scientists
toc
wiki
11.26. Avinash Kak
split
Theoretical computer scientists
toc
wiki
11.27. Avner Magen
split
Theoretical computer scientists
toc
wiki
11.28. Avrim Blum
split
Theoretical computer scientists
toc
wiki
11.29. Baruch Awerbuch
split
Theoretical computer scientists
toc
wiki
11.30. Baruch Schieber
split
Theoretical computer scientists
toc
wiki
11.31. Benjamin Rossman
split
Theoretical computer scientists
toc
wiki
11.32. Boaz Barak
split
Theoretical computer scientists
toc
wiki
11.33. Brenda Baker
split
Theoretical computer scientists
toc
wiki
11.34. Carolyn Talcott
split
Theoretical computer scientists
toc
wiki
11.35. Carsten Lund
split
Theoretical computer scientists
toc
wiki
11.36. Charles E. Leiserson
split
Theoretical computer scientists
toc
wiki
11.37. Chris Umans
split
Theoretical computer scientists
toc
wiki
11.38. Christel Baier
split
Theoretical computer scientists
toc
wiki
11.39. Christos Papadimitriou
split
Theoretical computer scientists
toc
wiki
11.40. Claire Mathieu
split
Theoretical computer scientists
toc
wiki
11.41. Claude Lemaréchal
split
Theoretical computer scientists
toc
wiki
11.42. Cristina Bazgan
split
Theoretical computer scientists
toc
wiki
11.43. Cristopher Moore
split
Theoretical computer scientists
toc
wiki
11.44. Cynthia Dwork
split
Theoretical computer scientists
toc
wiki
11.45. Dan Hirschberg
split
Theoretical computer scientists
toc
wiki
11.46. Dan Willard
split
Theoretical computer scientists
toc
wiki
11.47. Dana Angluin
split
Theoretical computer scientists
toc
wiki
11.48. Dana Moshkovitz
split
Theoretical computer scientists
toc
wiki
11.49. Dana Randall
split
Theoretical computer scientists
toc
wiki
11.50. Dana Ron
split
Theoretical computer scientists
toc
wiki
11.51. Daniel Sleator
split
Theoretical computer scientists
toc
wiki
11.52. Daniel Spielman
split
Theoretical computer scientists
toc
wiki
11.53. Danny Dolev
split
Theoretical computer scientists
toc
wiki
11.54. David E. Goldberg
split
Theoretical computer scientists
toc
wiki
11.55. David Luenberger
split
Theoretical computer scientists
toc
wiki
11.56. David Peleg (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.57. David Zuckerman (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.58. Dexter Kozen
split
Theoretical computer scientists
toc
wiki
11.59. Donald B. Johnson
split
Theoretical computer scientists
toc
wiki
11.60. Edith Cohen
split
Theoretical computer scientists
toc
wiki
11.61. Edsger W. Dijkstra
split
Theoretical computer scientists
toc
wiki
11.62. Edward G. Coffman Jr.
split
Theoretical computer scientists
toc
wiki
11.63. Elette Boyle
split
Theoretical computer scientists
toc
wiki
11.64. Eli Shamir
split
Theoretical computer scientists
toc
wiki
11.65. Eli Upfal
split
Theoretical computer scientists
toc
wiki
11.66. Endre Szemerédi
split
Theoretical computer scientists
toc
wiki
11.67. Eric Allender
split
Theoretical computer scientists
toc
wiki
11.68. Erik Demaine
split
Theoretical computer scientists
toc
wiki
11.69. Eugene Lawler
split
Theoretical computer scientists
toc
wiki
11.70. Eun Jung Kim (parameterized complexity)
split
Theoretical computer scientists
toc
wiki
11.71. Faith Ellen
split
Theoretical computer scientists
toc
wiki
11.72. Ferdinand Peper
split
Theoretical computer scientists
toc
wiki
11.73. Ferran Hurtado
split
Theoretical computer scientists
toc
wiki
11.74. Florian Neukart
split
Theoretical computer scientists
toc
wiki
11.75. Fotios Zaharoglou
split
Theoretical computer scientists
toc
wiki
11.76. Franco P. Preparata
split
Theoretical computer scientists
toc
wiki
11.77. Gary Miller (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.78. Gheorghe Păun
split
Theoretical computer scientists
toc
wiki
11.79. Giuseppe F. Italiano
split
Theoretical computer scientists
toc
wiki
11.80. Greta Panova
split
Theoretical computer scientists
toc
wiki
11.81. Gunther Schmidt
split
Theoretical computer scientists
toc
wiki
11.82. Gustave Solomon
split
Theoretical computer scientists
toc
wiki
11.83. Gábor N. Sárközy
split
Theoretical computer scientists
toc
wiki
11.84. Hans Hermes
split
Theoretical computer scientists
toc
wiki
11.85. Hans L. Bodlaender
split
Theoretical computer scientists
toc
wiki
11.86. Harry Mairson
split
Theoretical computer scientists
toc
wiki
11.87. Harry R. Lewis
split
Theoretical computer scientists
toc
wiki
11.88. Hisao Yamada
split
Theoretical computer scientists
toc
wiki
11.89. I. J. Good
split
Theoretical computer scientists
toc
wiki
11.90. Ian Munro (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.91. Jack Lutz
split
Theoretical computer scientists
toc
wiki
11.92. James Renegar
split
Theoretical computer scientists
toc
wiki
11.93. Jan van Leeuwen
split
Theoretical computer scientists
toc
wiki
11.94. Janusz Brzozowski (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.95. Jean-Éric Pin
split
Theoretical computer scientists
toc
wiki
11.96. Jean Gallier
split
Theoretical computer scientists
toc
wiki
11.97. Jeff Edmonds
split
Theoretical computer scientists
toc
wiki
11.98. Jennifer Tour Chayes
split
Theoretical computer scientists
toc
wiki
11.99. Jin-Yi Cai
split
Theoretical computer scientists
toc
wiki
11.100. Joachim von zur Gathen
split
Theoretical computer scientists
toc
wiki
11.101. Joan Feigenbaum
split
Theoretical computer scientists
toc
wiki
11.102. Johan Håstad
split
Theoretical computer scientists
toc
wiki
11.103. John Koza
split
Theoretical computer scientists
toc
wiki
11.104. John Reif
split
Theoretical computer scientists
toc
wiki
11.105. John Watrous (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.106. Juhani Karhumäki
split
Theoretical computer scientists
toc
wiki
11.107. Julia Chuzhoy
split
Theoretical computer scientists
toc
wiki
11.108. Juraj Hromkovič
split
Theoretical computer scientists
toc
wiki
11.109. Juris Hartmanis
split
Theoretical computer scientists
toc
wiki
11.110. János Komlós (mathematician)
split
Theoretical computer scientists
toc
wiki
11.111. Katrina Ligett
split
Theoretical computer scientists
toc
wiki
11.112. Kavitha Telikepalli
split
Theoretical computer scientists
toc
wiki
11.113. Kazuo Iwama (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.114. Ken Batcher
split
Theoretical computer scientists
toc
wiki
11.115. Ketan Mulmuley
split
Theoretical computer scientists
toc
wiki
11.116. Kosaburo Hashiguchi
split
Theoretical computer scientists
toc
wiki
11.117. Kousha Etessami
split
Theoretical computer scientists
toc
wiki
11.118. Lance Fortnow
split
Theoretical computer scientists
toc
wiki
11.119. Larry Stockmeyer
split
Theoretical computer scientists
toc
wiki
11.120. Lawrence J. Fogel
split
Theoretical computer scientists
toc
wiki
11.121. Lenore Blum
split
Theoretical computer scientists
toc
wiki
11.122. Leslie Ann Goldberg
split
Theoretical computer scientists
toc
wiki
11.123. Leslie Valiant
split
Theoretical computer scientists
toc
wiki
11.124. Li Huatian
split
Theoretical computer scientists
toc
wiki
11.125. Lov Grover
split
Theoretical computer scientists
toc
wiki
11.126. Luca Trevisan
split
Theoretical computer scientists
toc
wiki
11.127. László Babai
split
Theoretical computer scientists
toc
wiki
11.128. Maarten van Emden
split
Theoretical computer scientists
toc
wiki
11.129. Madhu Sudan
split
Theoretical computer scientists
toc
wiki
11.130. Manindra Agrawal
split
Theoretical computer scientists
toc
wiki
11.131. Manuel Blum
split
Theoretical computer scientists
toc
wiki
11.132. Marek Karpinski
split
Theoretical computer scientists
toc
wiki
11.133. Marilyn Walker
split
Theoretical computer scientists
toc
wiki
11.134. Mario Szegedy
split
Theoretical computer scientists
toc
wiki
11.135. Mark Jerrum
split
Theoretical computer scientists
toc
wiki
11.136. Martin Dyer
split
Theoretical computer scientists
toc
wiki
11.137. Mary Wootters
split
Theoretical computer scientists
toc
wiki
11.138. Maxime Crochemore
split
Theoretical computer scientists
toc
wiki
11.139. Michael A. Bender
split
Theoretical computer scientists
toc
wiki
11.140. Michael A. Harrison
split
Theoretical computer scientists
toc
wiki
11.141. Michael Fellows
split
Theoretical computer scientists
toc
wiki
11.142. Michael Fredman
split
Theoretical computer scientists
toc
wiki
11.143. Michael Garey
split
Theoretical computer scientists
toc
wiki
11.144. Michael J. Fischer
split
Theoretical computer scientists
toc
wiki
11.145. Michael Luby
split
Theoretical computer scientists
toc
wiki
11.146. Michael Mitzenmacher
split
Theoretical computer scientists
toc
wiki
11.147. Michael O. Rabin
split
Theoretical computer scientists
toc
wiki
11.148. Michael Saks (mathematician)
split
Theoretical computer scientists
toc
wiki
11.149. Michael Sipser
split
Theoretical computer scientists
toc
wiki
11.150. Michael W. Shields
split
Theoretical computer scientists
toc
wiki
11.151. Michal Parnas
split
Theoretical computer scientists
toc
wiki
11.152. Mihai Pătrașcu (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.153. Mihalis Yannakakis
split
Theoretical computer scientists
toc
wiki
11.154. Mike Paterson
split
Theoretical computer scientists
toc
wiki
11.155. Mikhail Atallah
split
Theoretical computer scientists
toc
wiki
11.156. Mikkel Thorup
split
Theoretical computer scientists
toc
wiki
11.157. Miklós Ajtai
split
Theoretical computer scientists
toc
wiki
11.158. Mohammad Hajiaghayi
split
Theoretical computer scientists
toc
wiki
11.159. Moni Naor
split
Theoretical computer scientists
toc
wiki
11.160. Monika Henzinger
split
Theoretical computer scientists
toc
wiki
11.161. Moti Yung
split
Theoretical computer scientists
toc
wiki
11.162. Nachum Dershowitz
split
Theoretical computer scientists
toc
wiki
11.163. Nancy Lynch
split
Theoretical computer scientists
toc
wiki
11.164. Narendra Karmarkar
split
Theoretical computer scientists
toc
wiki
11.165. Nati Linial
split
Theoretical computer scientists
toc
wiki
11.166. Naum Z. Shor
split
Theoretical computer scientists
toc
wiki
11.167. Naveen Garg
split
Theoretical computer scientists
toc
wiki
11.168. Neeraj Kayal
split
Theoretical computer scientists
toc
wiki
11.169. Neil Immerman
split
Theoretical computer scientists
toc
wiki
11.170. Nick Pippenger
split
Theoretical computer scientists
toc
wiki
11.171. Nicole Immorlica
split
Theoretical computer scientists
toc
wiki
11.172. Nicole Megow
split
Theoretical computer scientists
toc
wiki
11.173. Nir Shavit
split
Theoretical computer scientists
toc
wiki
11.174. Nissim Francez
split
Theoretical computer scientists
toc
wiki
11.175. Nitin Saxena
split
Theoretical computer scientists
toc
wiki
11.176. Noam Nisan
split
Theoretical computer scientists
toc
wiki
11.177. Oded Goldreich
split
Theoretical computer scientists
toc
wiki
11.178. Ofer Strichman
split
Theoretical computer scientists
toc
wiki
11.179. Omer Reingold
split
Theoretical computer scientists
toc
wiki
11.180. Oscar H. Ibarra
split
Theoretical computer scientists
toc
wiki
11.181. Paritosh Pandya
split
Theoretical computer scientists
toc
wiki
11.182. Patricia Bouyer-Decitre
split
Theoretical computer scientists
toc
wiki
11.183. Patrick C. Fischer
split
Theoretical computer scientists
toc
wiki
11.184. Paul Christiano (researcher)
split
Theoretical computer scientists
toc
wiki
11.185. Paul Vitányi
split
Theoretical computer scientists
toc
wiki
11.186. Peter Ružička
split
Theoretical computer scientists
toc
wiki
11.187. Peter Shor
split
Theoretical computer scientists
toc
wiki
11.188. Peter van Emde Boas
split
Theoretical computer scientists
toc
wiki
11.189. Philippa Gardner
split
Theoretical computer scientists
toc
wiki
11.190. Piotr Indyk
split
Theoretical computer scientists
toc
wiki
11.191. R. C. T. Lee
split
Theoretical computer scientists
toc
wiki
11.192. Rafail Ostrovsky
split
Theoretical computer scientists
toc
wiki
11.193. Rajeev Motwani
split
Theoretical computer scientists
toc
wiki
11.194. Ran Libeskind-Hadas
split
Theoretical computer scientists
toc
wiki
11.195. Ran Raz
split
Theoretical computer scientists
toc
wiki
11.196. Rasmus Pagh
split
Theoretical computer scientists
toc
wiki
11.197. Ravindran Kannan
split
Theoretical computer scientists
toc
wiki
11.198. Ray Solomonoff
split
Theoretical computer scientists
toc
wiki
11.199. Rediet Abebe
split
Theoretical computer scientists
toc
wiki
11.200. Richard Cleve
split
Theoretical computer scientists
toc
wiki
11.201. Richard Lipton
split
Theoretical computer scientists
toc
wiki
11.202. Richart E. Slusher
split
Theoretical computer scientists
toc
wiki
11.203. Robert McNaughton
split
Theoretical computer scientists
toc
wiki
11.204. Rod Downey
split
Theoretical computer scientists
toc
wiki
11.205. Ronald V. Book
split
Theoretical computer scientists
toc
wiki
11.206. Ronitt Rubinfeld
split
Theoretical computer scientists
toc
wiki
11.207. Rudolf Berghammer
split
Theoretical computer scientists
toc
wiki
11.208. Ryan Williams (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.209. Róbert Szelepcsényi
split
Theoretical computer scientists
toc
wiki
11.210. Rózsa Péter
split
Theoretical computer scientists
toc
wiki
11.211. Rüdiger Valk
split
Theoretical computer scientists
toc
wiki
11.212. Rūsiņš Mārtiņš Freivalds
split
Theoretical computer scientists
toc
wiki
11.213. S. Muthukrishnan (computer scientist)
split
Theoretical computer scientists
toc
wiki
11.214. S. Rao Kosaraju
split
Theoretical computer scientists
toc
wiki
11.215. Salil Vadhan
split
Theoretical computer scientists
toc
wiki
11.216. Sanjeev Arora
split
Theoretical computer scientists
toc
wiki
11.217. Santosh Vempala
split
Theoretical computer scientists
toc
wiki
11.218. Sartaj Sahni
split
Theoretical computer scientists
toc
wiki
11.219. Scott Aaronson
split
Theoretical computer scientists
toc
wiki
11.220. Seinosuke Toda
split
Theoretical computer scientists
toc
wiki
11.221. Seymour Ginsburg
split
Theoretical computer scientists
toc
wiki
11.222. Shafi Goldwasser
split
Theoretical computer scientists
toc
wiki
11.223. Shai Halevi
split
Theoretical computer scientists
toc
wiki
11.224. Sheila Greibach
split
Theoretical computer scientists
toc
wiki
11.225. Shlomi Dolev
split
Theoretical computer scientists
toc
wiki
11.226. Shlomo Moran
split
Theoretical computer scientists
toc
wiki
11.227. Shmuel Safra
split
Theoretical computer scientists
toc
wiki
11.228. Shmuel Zaks
split
Theoretical computer scientists
toc
wiki
11.229. Shuchi Chawla
split
Theoretical computer scientists
toc
wiki
11.230. Silvio Micali
split
Theoretical computer scientists
toc
wiki
11.231. Sofya Raskhodnikova
split
Theoretical computer scientists
toc
wiki
11.232. Solomon Marcus
split
Theoretical computer scientists
toc
wiki
11.233. Stathis Zachos
split
Theoretical computer scientists
toc
wiki
11.234. Stefan Szeider
split
Theoretical computer scientists
toc
wiki
11.235. Stephen Cook
split
Theoretical computer scientists
toc
wiki
11.236. Subhash Kak
split
Theoretical computer scientists
toc
wiki
11.237. Subhash Khot
split
Theoretical computer scientists
toc
wiki
11.238. Suresh Venkatasubramanian
split
Theoretical computer scientists
toc
wiki
11.239. Susanne Albers
split
Theoretical computer scientists
toc
wiki
11.240. Teofilo F. Gonzalez
split
Theoretical computer scientists
toc
wiki
11.241. Tim Roughgarden
split
Theoretical computer scientists
toc
wiki
11.242. Tobias Nipkow
split
Theoretical computer scientists
toc
wiki
11.243. Toniann Pitassi
split
Theoretical computer scientists
toc
wiki
11.244. Umesh Vazirani
split
Theoretical computer scientists
toc
wiki
11.245. Uriel Feige
split
Theoretical computer scientists
toc
wiki
11.246. Urmila Mahadev
split
Theoretical computer scientists
toc
wiki
11.247. Uwe Schöning
split
Theoretical computer scientists
toc
wiki
11.248. Uzi Vishkin
split
Theoretical computer scientists
toc
wiki
11.249. Valerie King
split
Theoretical computer scientists
toc
wiki
11.250. Vaughan Pratt
split
Theoretical computer scientists
toc
wiki
11.251. Venkatesan Guruswami
split
Theoretical computer scientists
toc
wiki
11.252. Victor Pan
split
Theoretical computer scientists
toc
wiki
11.253. Victor Shoup
split
Theoretical computer scientists
toc
wiki
11.254. Vijay Vazirani
split
Theoretical computer scientists
toc
wiki
11.255. Viliam Geffert
split
Theoretical computer scientists
toc
wiki
11.256. Virginia Vassilevska Williams
split
Theoretical computer scientists
toc
wiki
11.257. Vladlen Koltun
split
Theoretical computer scientists
toc
wiki
11.258. Wayne Snyder
split
Theoretical computer scientists
toc
wiki
11.259. Wilfried Brauer
split
Theoretical computer scientists
toc
wiki
11.260. Wojciech Rytter
split
Theoretical computer scientists
toc
wiki
11.261. Yael Tauman Kalai
split
Theoretical computer scientists
toc
wiki
11.262. Yinyu Ye
split
Theoretical computer scientists
toc
wiki
11.263. Yossi Matias
split
Theoretical computer scientists
toc
wiki
11.264. Yuri Ofman
split
Theoretical computer scientists
toc
wiki
11.265. Zvi Galil
split
Theoretical computer scientists
toc
wiki
12. Theory of computation
split
articles:
69
Theoretical computer science
toc
wiki
12.1. Computability theory
split
Theory of computation
toc
wiki
12.2. Computational complexity theory
split
Theory of computation
toc
wiki
12.3. Computer arithmetic
split
Theory of computation
toc
wiki
12.4. Ackermann function
split
Theory of computation
toc
wiki
12.5. Admissible numbering
split
Theory of computation
toc
wiki
12.6. Andreas Brandstädt
split
Theory of computation
toc
wiki
12.7. Blockhead (thought experiment)
split
Theory of computation
toc
wiki
12.8. Bremermann's limit
split
Theory of computation
toc
wiki
12.9. Brooks–Iyengar algorithm
split
Theory of computation
toc
wiki
12.10. Busy beaver
split
Theory of computation
toc
wiki
12.11. Byzantine fault
split
Theory of computation
toc
wiki
12.12. Church–Turing thesis
split
Theory of computation
toc
wiki
12.13. Church–Turing–Deutsch principle
split
Theory of computation
toc
wiki
12.14. Circuit (computer science)
split
Theory of computation
toc
wiki
12.15. Computability
split
Theory of computation
toc
wiki
12.16. Computable function
split
Theory of computation
toc
wiki
12.17. Computable number
split
Theory of computation
toc
wiki
12.18. Computable set
split
Theory of computation
toc
wiki
12.19. Computably enumerable set
split
Theory of computation
toc
wiki
12.20. Computation history
split
Theory of computation
toc
wiki
12.21. Computation in the limit
split
Theory of computation
toc
wiki
12.22. Computational semiotics
split
Theory of computation
toc
wiki
12.23. Cylindric numbering
split
Theory of computation
toc
wiki
12.24. Cylindrification
split
Theory of computation
toc
wiki
12.25. Digital physics
split
Theory of computation
toc
wiki
12.26. Effective method
split
Theory of computation
toc
wiki
12.27. Entscheidungsproblem
split
Theory of computation
toc
wiki
12.28. Enumerator (computer science)
split
Theory of computation
toc
wiki
12.29. General recursive function
split
Theory of computation
toc
wiki
12.30. Gödel numbering
split
Theory of computation
toc
wiki
12.31. Halting problem
split
Theory of computation
toc
wiki
12.32. History of the Church–Turing thesis
split
Theory of computation
toc
wiki
12.33. Hypercomputation
split
Theory of computation
toc
wiki
12.34. International Conference on Reachability Problems
split
Theory of computation
toc
wiki
12.35. Intersection type discipline
split
Theory of computation
toc
wiki
12.36. Introduction to the Theory of Computation
split
Theory of computation
toc
wiki
12.37. Limits of computation
split
Theory of computation
toc
wiki
12.38. List of computability and complexity topics
split
Theory of computation
toc
wiki
12.39. List of undecidable problems
split
Theory of computation
toc
wiki
12.40. Mortality (computability theory)
split
Theory of computation
toc
wiki
12.41. Nomogram
split
Theory of computation
toc
wiki
12.42. Nondeterministic algorithm
split
Theory of computation
toc
wiki
12.43. Numbering (computability theory)
split
Theory of computation
toc
wiki
12.44. Parallel computation thesis
split
Theory of computation
toc
wiki
12.45. Parallel terraced scan
split
Theory of computation
toc
wiki
12.46. Post correspondence problem
split
Theory of computation
toc
wiki
12.47. Reachability analysis
split
Theory of computation
toc
wiki
12.48. Reachability problem
split
Theory of computation
toc
wiki
12.49. Real computation
split
Theory of computation
toc
wiki
12.50. Rounding
split
Theory of computation
toc
wiki
12.51. Scale factor (computer science)
split
Theory of computation
toc
wiki
12.52. Self-reference
split
Theory of computation
toc
wiki
12.53. Semiotic engineering
split
Theory of computation
toc
wiki
12.54. Shadow square
split
Theory of computation
toc
wiki
12.55. Simply typed lambda calculus
split
Theory of computation
toc
wiki
12.56. Size-change termination principle
split
Theory of computation
toc
wiki
12.57. Sudan function
split
Theory of computation
toc
wiki
12.58. Tarski–Kuratowski algorithm
split
Theory of computation
toc
wiki
12.59. Ten15
split
Theory of computation
toc
wiki
12.60. Transcomputational problem
split
Theory of computation
toc
wiki
12.61. Turing's proof
split
Theory of computation
toc
wiki
12.62. Turing completeness
split
Theory of computation
toc
wiki
12.63. Turing degree
split
Theory of computation
toc
wiki
12.64. Turing tarpit
split
Theory of computation
toc
wiki
12.65. Two Generals' Problem
split
Theory of computation
toc
wiki
12.66. Undefined value
split
Theory of computation
toc
wiki
12.67. Wang tile
split
Theory of computation
toc
wiki
12.68. X-Machine Testing
split
Theory of computation
toc
wiki
12.69. Yao's test
split
Theory of computation
toc
wiki
13. ACM Doctoral Dissertation Award
split
Theoretical computer science
toc
wiki
14. ACM SIGACT
split
Theoretical computer science
toc
wiki
15. Algorithmic technique
split
Theoretical computer science
toc
wiki
16. Analysis of Boolean functions
split
Theoretical computer science
toc
wiki
17. Automated reasoning
split
articles:
14
Theoretical computer science
toc
wiki
17.1. Knowledge representation
split
Automated reasoning
toc
wiki
17.2. Rule engines
split
Automated reasoning
toc
wiki
17.3. Type inference
split
Automated reasoning
toc
wiki
17.4. Association for Automated Reasoning
split
Automated reasoning
toc
wiki
17.5. Commonsense reasoning
split
Automated reasoning
toc
wiki
17.6. Handbook of Automated Reasoning
split
Automated reasoning
toc
wiki
17.7. Knowledge representation and reasoning
split
Automated reasoning
toc
wiki
17.8. Model-based reasoning
split
Automated reasoning
toc
wiki
17.9. Opportunistic reasoning
split
Automated reasoning
toc
wiki
17.10. Reasoning system
split
Automated reasoning
toc
wiki
17.11. Semantic reasoner
split
Automated reasoning
toc
wiki
17.12. Sentient (intelligence analysis system)
split
Automated reasoning
toc
wiki
17.13. Stanhope Demonstrator
split
Automated reasoning
toc
wiki
17.14. The Engine
split
Automated reasoning
toc
wiki
18. Bigraph
split
Theoretical computer science
toc
wiki
19. Bio-inspired computing
split
Theoretical computer science
toc
wiki
20. Bird–Meertens formalism
split
Theoretical computer science
toc
wiki
21. Bisimulation
split
Theoretical computer science
toc
wiki
22. Bridging model
split
Theoretical computer science
toc
wiki
23. British Colloquium for Theoretical Computer Science
split
Theoretical computer science
toc
wiki
24. Calculating Space
split
Theoretical computer science
toc
wiki
25. Categorical logic
split
articles:
7
Theoretical computer science
toc
wiki
25.1. Topos theory
split
Categorical logic
toc
wiki
25.2. Categorical set theory
split
Categorical logic
toc
wiki
25.3. Higher-dimensional algebra
split
Categorical logic
toc
wiki
25.4. Lawvere theory
split
Categorical logic
toc
wiki
25.5. Natural numbers object
split
Categorical logic
toc
wiki
25.6. Stone's representation theorem for Boolean algebras
split
Categorical logic
toc
wiki
25.7. Stone space
split
Categorical logic
toc
wiki
26. Circuit Value Problem
split
Theoretical computer science
toc
wiki
27. Coinduction
split
Theoretical computer science
toc
wiki
28. Complexity function
split
Theoretical computer science
toc
wiki
29. Computability in Europe
split
Theoretical computer science
toc
wiki
30. Computation
split
Theoretical computer science
toc
wiki
31. Computational problem
split
Theoretical computer science
toc
wiki
32. Concurrence (quantum computing)
split
Theoretical computer science
toc
wiki
33. Configurable modularity
split
Theoretical computer science
toc
wiki
34. Correctness (computer science)
split
Theoretical computer science
toc
wiki
35. Dynamic Data Driven Applications Systems
split
Theoretical computer science
toc
wiki
36. Erdős Lectures
split
Theoretical computer science
toc
wiki
37. Error tolerance (PAC learning)
split
Theoretical computer science
toc
wiki
38. European Association for Theoretical Computer Science
split
Theoretical computer science
toc
wiki
39. Exact cover
split
Theoretical computer science
toc
wiki
40. Extractor (mathematics)
split
Theoretical computer science
toc
wiki
41. Flajolet Lecture Prize
split
Theoretical computer science
toc
wiki
42. Formal language
split
Theoretical computer science
toc
wiki
43. Formal methods
split
articles:
60
Theoretical computer science
toc
wiki
43.1. Abstract data types
split
Formal methods
toc
wiki
43.2. Formal methods organizations
split
Formal methods
toc
wiki
43.3. Formal methods publications
split
Formal methods
toc
wiki
43.4. Formal methods stubs
split
Formal methods
toc
wiki
43.5. Formal methods terminology
split
Formal methods
toc
wiki
43.6. Formal methods tools
split
Formal methods
toc
wiki
43.7. Program derivation
split
Formal methods
toc
wiki
43.8. Satisfiability problems
split
Formal methods
toc
wiki
43.9. Algebraic specification
split
Formal methods
toc
wiki
43.10. And-inverter graph
split
Formal methods
toc
wiki
43.11. Applicative universal grammar
split
Formal methods
toc
wiki
43.12. Asynchronous system
split
Formal methods
toc
wiki
43.13. Binary moment diagram
split
Formal methods
toc
wiki
43.14. Business process validation
split
Formal methods
toc
wiki
43.15. Concurrency semantics
split
Formal methods
toc
wiki
43.16. Continued process verification
split
Formal methods
toc
wiki
43.17. Critical process parameters
split
Formal methods
toc
wiki
43.18. DREAM (software)
split
Formal methods
toc
wiki
43.19. Dependability
split
Formal methods
toc
wiki
43.20. Design space verification
split
Formal methods
toc
wiki
43.21. Direct function
split
Formal methods
toc
wiki
43.22. Dynamic timing verification
split
Formal methods
toc
wiki
43.23. Extended static checking
split
Formal methods
toc
wiki
43.24. Formal equivalence checking
split
Formal methods
toc
wiki
43.25. Gödel logic
split
Formal methods
toc
wiki
43.26. Homotopy type theory
split
Formal methods
toc
wiki
43.27. International Conference on Software Engineering and Formal Methods
split
Formal methods
toc
wiki
43.28. Invariant-based programming
split
Formal methods
toc
wiki
43.29. Liskov substitution principle
split
Formal methods
toc
wiki
43.30. Loop invariant
split
Formal methods
toc
wiki
43.31. Loop variant
split
Formal methods
toc
wiki
43.32. Lustre (programming language)
split
Formal methods
toc
wiki
43.33. McCarthy 91 function
split
Formal methods
toc
wiki
43.34. Model-based specification
split
Formal methods
toc
wiki
43.35. Mondex
split
Formal methods
toc
wiki
43.36. Oracle unified method
split
Formal methods
toc
wiki
43.37. POPLmark challenge
split
Formal methods
toc
wiki
43.38. Predicate transformer semantics
split
Formal methods
toc
wiki
43.39. Process performance qualification protocol
split
Formal methods
toc
wiki
43.40. Process qualification
split
Formal methods
toc
wiki
43.41. Process validation
split
Formal methods
toc
wiki
43.42. Production equipment control
split
Formal methods
toc
wiki
43.43. Proof-carrying code
split
Formal methods
toc
wiki
43.44. QED manifesto
split
Formal methods
toc
wiki
43.45. RCOS (computer sciences)
split
Formal methods
toc
wiki
43.46. Rational unified process
split
Formal methods
toc
wiki
43.47. Retiming
split
Formal methods
toc
wiki
43.48. Retrenchment (computing)
split
Formal methods
toc
wiki
43.49. Robbins algebra
split
Formal methods
toc
wiki
43.50. SIGNAL (programming language)
split
Formal methods
toc
wiki
43.51. SLAM project
split
Formal methods
toc
wiki
43.52. Set theory
split
Formal methods
toc
wiki
43.53. Software verification and validation
split
Formal methods
toc
wiki
43.54. Static timing analysis
split
Formal methods
toc
wiki
43.55. Statistical static timing analysis
split
Formal methods
toc
wiki
43.56. Strict function
split
Formal methods
toc
wiki
43.57. Symbolic simulation
split
Formal methods
toc
wiki
43.58. Syntactic methods
split
Formal methods
toc
wiki
43.59. Verification and validation of computer simulation models
split
Formal methods
toc
wiki
43.60. Verification condition generator
split
Formal methods
toc
wiki
44. Formal verification
split
Theoretical computer science
toc
wiki
45. French Institute for Research in Computer Science and Automation
split
Theoretical computer science
toc
wiki
46. Full-employment theorem
split
Theoretical computer science
toc
wiki
47. Fundamenta Informaticae
split
Theoretical computer science
toc
wiki
48. Grammar systems theory
split
Theoretical computer science
toc
wiki
49. Granular computing
split
Theoretical computer science
toc
wiki
50. Gödel Prize
split
Theoretical computer science
toc
wiki
51. Indirect self-reference
split
Theoretical computer science
toc
wiki
52. Interactive computation
split
Theoretical computer science
toc
wiki
53. Journal of Automata, Languages and Combinatorics
split
Theoretical computer science
toc
wiki
54. Knowledge Based Software Assistant
split
Theoretical computer science
toc
wiki
55. Knuth Prize
split
Theoretical computer science
toc
wiki
56. Level ancestor problem
split
Theoretical computer science
toc
wiki
57. Lowest common ancestor
split
Theoretical computer science
toc
wiki
58. Machine learning in physics
split
Theoretical computer science
toc
wiki
59. Manifold hypothesis
split
Theoretical computer science
toc
wiki
60. Monge array
split
Theoretical computer science
toc
wiki
61. Motion planning
split
Theoretical computer science
toc
wiki
62. Natural computing
split
Theoretical computer science
toc
wiki
63. Neighbour-sensing model
split
Theoretical computer science
toc
wiki
64. Nominal techniques
split
Theoretical computer science
toc
wiki
65. Nominal terms (computer science)
split
Theoretical computer science
toc
wiki
66. Occam learning
split
Theoretical computer science
toc
wiki
67. Pattern language (formal languages)
split
Theoretical computer science
toc
wiki
68. Probabilistic bisimulation
split
Theoretical computer science
toc
wiki
69. Profinite word
split
Theoretical computer science
toc
wiki
70. Promise theory
split
Theoretical computer science
toc
wiki
71. Pseudorandomness
split
articles:
9
Theoretical computer science
toc
wiki
71.1. Ehrenfeucht–Mycielski sequence
split
Pseudorandomness
toc
wiki
71.2. Hard-core predicate
split
Pseudorandomness
toc
wiki
71.3. PRF advantage
split
Pseudorandomness
toc
wiki
71.4. Pseudorandom binary sequence
split
Pseudorandomness
toc
wiki
71.5. Pseudorandom function family
split
Pseudorandomness
toc
wiki
71.6. Pseudorandom generator theorem
split
Pseudorandomness
toc
wiki
71.7. Pseudorandom generators for polynomials
split
Pseudorandomness
toc
wiki
71.8. Pseudorandom noise
split
Pseudorandomness
toc
wiki
71.9. Stochastic screening
split
Pseudorandomness
toc
wiki
72. Quantum complexity theory
split
articles:
7
Theoretical computer science
toc
wiki
72.1. Claw finding problem
split
Quantum complexity theory
toc
wiki
72.2. Gap-Hamming problem
split
Quantum complexity theory
toc
wiki
72.3. Hamiltonian complexity
split
Quantum complexity theory
toc
wiki
72.4. PP (complexity)
split
Quantum complexity theory
toc
wiki
72.5. PostBQP
split
Quantum complexity theory
toc
wiki
72.6. QMA
split
Quantum complexity theory
toc
wiki
72.7. Quantum Turing machine
split
Quantum complexity theory
toc
wiki
73. Quantum digital signature
split
Theoretical computer science
toc
wiki
74. Quantum machine learning
split
Theoretical computer science
toc
wiki
75. Quasi-empiricism in mathematics
split
Theoretical computer science
toc
wiki
76. Regular numerical predicate
split
Theoretical computer science
toc
wiki
77. Representer theorem
split
Theoretical computer science
toc
wiki
78. Rough set
split
Theoretical computer science
toc
wiki
79. Safety and liveness properties
split
Theoretical computer science
toc
wiki
80. Scientific community metaphor
split
Theoretical computer science
toc
wiki
81. Semantic spacetime
split
Theoretical computer science
toc
wiki
82. Semigroup action
split
Theoretical computer science
toc
wiki
83. Simulation (computer science)
split
Theoretical computer science
toc
wiki
84. Small-bias sample space
split
Theoretical computer science
toc
wiki
85. Spintronics
split
articles:
51
Theoretical computer science
toc
wiki
85.1. Antisymmetric exchange
split
Spintronics
toc
wiki
85.2. Biexciton
split
Spintronics
toc
wiki
85.3. Bipolar magnetic semiconductor
split
Spintronics
toc
wiki
85.4. Center for Quantum Spintronics
split
Spintronics
toc
wiki
85.5. Colossal magnetoresistance
split
Spintronics
toc
wiki
85.6. Cooper pair
split
Spintronics
toc
wiki
85.7. Dresselhaus effect
split
Spintronics
toc
wiki
85.8. Electric charge
split
Spintronics
toc
wiki
85.9. Electron
split
Spintronics
toc
wiki
85.10. Extraordinary magnetoresistance
split
Spintronics
toc
wiki
85.11. Flux pumping
split
Spintronics
toc
wiki
85.12. Giant magnetoresistance
split
Spintronics
toc
wiki
85.13. Half-metal
split
Spintronics
toc
wiki
85.14. Heusler compound
split
Spintronics
toc
wiki
85.15. Magnetic semiconductor
split
Spintronics
toc
wiki
85.16. Magneto-Electric Spin-Orbit
split
Spintronics
toc
wiki
85.17. Magnetocapacitance
split
Spintronics
toc
wiki
85.18. Magnetoresistance
split
Spintronics
toc
wiki
85.19. Magnetoresistive RAM
split
Spintronics
toc
wiki
85.20. Michael Coey
split
Spintronics
toc
wiki
85.21. Pauli exclusion principle
split
Spintronics
toc
wiki
85.22. Planar Hall sensor
split
Spintronics
toc
wiki
85.23. Positronium
split
Spintronics
toc
wiki
85.24. Quantum Hall effect
split
Spintronics
toc
wiki
85.25. Quantum spin Hall effect
split
Spintronics
toc
wiki
85.26. Rabi problem
split
Spintronics
toc
wiki
85.27. Racetrack memory
split
Spintronics
toc
wiki
85.28. Rashba effect
split
Spintronics
toc
wiki
85.29. Rashba–Edelstein effect
split
Spintronics
toc
wiki
85.30. Spin-transfer torque
split
Spintronics
toc
wiki
85.31. Spin Hall effect
split
Spintronics
toc
wiki
85.32. Spin Hall magnetoresistance
split
Spintronics
toc
wiki
85.33. Spin Nernst Effect
split
Spintronics
toc
wiki
85.34. Spin canting
split
Spintronics
toc
wiki
85.35. Spin engineering
split
Spintronics
toc
wiki
85.36. Spin gapless semiconductor
split
Spintronics
toc
wiki
85.37. Spin magnetic moment
split
Spintronics
toc
wiki
85.38. Spin polarization
split
Spintronics
toc
wiki
85.39. Spin pumping
split
Spintronics
toc
wiki
85.40. Spin transistor
split
Spintronics
toc
wiki
85.41. Spin valve
split
Spintronics
toc
wiki
85.42. Spinplasmonics
split
Spintronics
toc
wiki
85.43. Spinterface
split
Spintronics
toc
wiki
85.44. Spin–orbit interaction
split
Spintronics
toc
wiki
85.45. Stern–Gerlach experiment
split
Spintronics
toc
wiki
85.46. Stuart Parkin
split
Spintronics
toc
wiki
85.47. Superconductivity
split
Spintronics
toc
wiki
85.48. Superlattice
split
Spintronics
toc
wiki
85.49. Trion (physics)
split
Spintronics
toc
wiki
85.50. Tunnel magnetoresistance
split
Spintronics
toc
wiki
85.51. Voigt–Thomson law
split
Spintronics
toc
wiki
86. Summer School Marktoberdorf
split
Theoretical computer science
toc
wiki
87. Sun–Ni law
split
Theoretical computer science
toc
wiki
88. Theory of Computing Systems
split
Theoretical computer science
toc
wiki
89. Threshold theorem
split
Theoretical computer science
toc
wiki
90. Tree (automata theory)
split
Theoretical computer science
toc
wiki
91. Tree automaton
split
Theoretical computer science
toc
wiki
92. Tree transducer
split
Theoretical computer science
toc
wiki
Ancestors
Applied mathematics
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot