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