Mathematics
Arithmetic Circuits
6%
Automata
19%
Bellman Equation
8%
Birth-death Process
7%
Branching
12%
Computational Complexity
11%
Computing
9%
Context-free Grammar
12%
Counting
13%
Decision problem
8%
Encoding
9%
Evolutionarily Stable Strategy
8%
Extinction Probability
14%
First-order Logic
29%
Fixed point
17%
Game
24%
Hierarchy
6%
Language
10%
Linear Temporal Logic
19%
Logarithmic
9%
Logic
17%
Markov chain
7%
Markov Decision Process
23%
Min-max
13%
Model
10%
Model Checking
24%
Models of Computation
11%
Multitype Branching Process
9%
Nash Equilibrium
12%
Open Problems
7%
Paradigm
7%
Parsing
15%
Polynomial equation
19%
Polynomial time
15%
Polynomial-time Algorithm
11%
Propositional Logic
6%
Quantifiers
17%
Reachability
12%
Realizability
6%
Resolve
7%
Reward
6%
Satisfiability
7%
Simple Game
17%
Stochastic Games
26%
Temporal Logic
48%
Termination
15%
Transitive Closure
18%
Unary
12%
Upper bound
12%
Valuation
9%
Engineering & Materials Science
Automata theory
5%
Computability and decidability
10%
Computational complexity
16%
Computer science
11%
Context free grammars
43%
Data flow graphs
8%
Data storage equipment
9%
Finite automata
13%
Formal languages
9%
Game theory
5%
Markov chains
58%
Markov processes
100%
Model checking
98%
Newton-Raphson method
36%
Nonlinear equations
6%
Polynomials
99%
Random processes
16%
Sand
5%
Specifications
18%
Stochastic models
14%
Structural properties
9%
Temporal logic
80%
Turing machines
9%
XML
5%
