Computer Science
high-order logic
100%
Theorem Prover
75%
Formalization
59%
Case Study
40%
Finite Automata
35%
Model Checking
33%
Axiomatization
33%
Data Structure
32%
Inference Rule
31%
Process Algebra
31%
Turing Machine
26%
Automaton
26%
Refutational Completeness
22%
Operational Semantics
22%
Transition System
22%
Order Unification
21%
Theorem Proving
19%
Ordered Resolution
18%
Parallel Composition
18%
lambda-calculus
17%
Infinite Sequence
16%
Term Rewriting Systems
15%
Decision Procedure
15%
Syntactics
15%
Equivalence Class
15%
Mathematics
Process Algebra
36%
Decomposition Method
23%
Formalization
21%
Calculus
21%
Polynomial
21%
Infinite Sequence
18%
Modulo
17%
Superposition
13%
Turing Machine
12%
Dedekind Domain
10%
Global Field
10%
Preorder
10%
Algebraic Number Theory
10%
Nonlinear
10%
Morphism
10%
Wide Range
9%
Unsolvability
9%
Coincides
8%
Rewriting Systems
8%
Partial Order
8%
Engineering
Supervisory Controller
39%
Supervisory Control
37%
Control Synthesis
21%
Roadsides
14%
Matrix Structure
13%
Road Tunnels
12%
Real Life
11%
Discrete Event Simulation
9%
Large-Scale Systems
8%