Engineering & Materials Science
Semantics
100%
Algebra
71%
Finite automata
58%
Supervisory personnel
54%
Data structures
53%
Specifications
49%
Theorem proving
42%
Model checking
41%
Equivalence classes
40%
Surface mount technology
40%
Acoustic waves
39%
Turing machines
37%
Polynomials
37%
Decomposition
33%
Atoms
33%
Transducers
32%
Formal languages
26%
Syntactics
26%
Substitution reactions
24%
Concretes
24%
Network protocols
24%
Labels
22%
Controllers
20%
Set theory
20%
Mobile ad hoc networks
19%
Mathematics
Calculus
71%
Higher-order Logic
66%
Superposition
62%
Supervisory Control
60%
Synthesis
60%
Higher Order
55%
Rewriting
47%
Term
45%
Framework
42%
Model Checking
38%
Completeness
36%
Mobile Ad Hoc Networks
34%
Term Rewriting
32%
Logic
29%
First-order
28%
Requirements
27%
Confluence
26%
Modal Logic
26%
Finite Automata
26%
Abstraction
25%
Specification
25%
Reasoning
25%
Preservation
24%
Congruence
24%
Productivity
24%