Mathematics
Calculus
45%
Communication
31%
Communication Protocol
23%
Concurrency
100%
Concurrency Control
18%
Concurrent
53%
Concurrent Systems
21%
Confluence
13%
Data Security
18%
Distributed Systems
54%
Dynamic Reconfiguration
21%
Elimination
21%
Equivalence
14%
Express
18%
Fidelity
10%
Fragment
13%
Genericity
10%
Higher Order
17%
Independence
11%
Information Flow
14%
Interaction
12%
Interpretation
17%
Language
38%
Linear Logic
33%
Linearity
14%
Logic
69%
Logic Programming
13%
Logic Programs
12%
Logical operator
19%
Modality
11%
Nondeterminism
13%
Object
17%
Observation
14%
Operator
11%
Polymorphism
13%
Preservation
12%
Process Calculi
10%
Programming
11%
Proposition
14%
Quantifiers
36%
Reasoning
10%
Recursion
14%
Resources
17%
Security Policy
10%
Specification
17%
Standards
10%
Strong Normalization
14%
Type Systems
52%
Type Theory
18%
Undecidability
25%
Engineering & Materials Science
Abstract data types
7%
Atoms
11%
Chemical analysis
70%
Communication
26%
Compliance
14%
Computer programming
11%
Computer programming languages
25%
Concurrency control
14%
Containers
5%
Data storage equipment
7%
Data structures
5%
Flavors
14%
Logic programming
13%
Message passing
13%
Model checking
23%
Network protocols
45%
Object oriented programming
12%
Polymorphism
27%
Security of data
10%
Semantics
25%
Specifications
20%
Synchronization
5%