Mathematics
Calculus
65%
Concurrent
62%
Logarithmic
44%
Concurrency
35%
Complexity Classes
34%
Unification
28%
Proof Theory
28%
Linear Logic
27%
Process Calculi
25%
Logic Programming
24%
Interaction
20%
Encoding
20%
Correctness
19%
Syntax
18%
Replication
17%
Process Algebra
16%
Logic Programs
15%
Characterization
15%
Polynomial Growth
15%
Rewriting
15%
Unary
14%
Observation
14%
Abstraction
14%
Permutation
14%
Group Action
13%
Term
11%
Models of Computation
11%
Language
10%
Polynomial time
10%
Reversible Systems
10%
Algebra
9%
Equivalence
9%
Acyclicity
9%
Restriction
9%
Concurrent Systems
9%
Nondeterminism
8%
Knowledge
8%
Cut-elimination
8%
Context
8%
Pushdown Automata
8%
Standard Model
7%
Soundness
7%
Algebraic Specification
7%
Semiring
7%
Congruence
7%
Thread
6%
Finite Automata
6%
Compositionality
6%
Query
6%
Communication Protocol
6%
Engineering & Materials Science
Algebra
100%
Semantics
36%
Geometry
27%
Diamonds
26%
Polynomials
25%
Logic programming
23%
Computational complexity
21%
Specifications
21%
Hilbert spaces
17%
Specification languages
15%
Data integration
15%
Machinery
12%
Mathematical operators
12%
Chemical analysis
11%
Syntactics
11%
Productivity
10%
Network protocols
9%
Set theory
8%
Photography
8%
Finite automata
7%
Static analysis
6%
Byproducts
6%
Conservation
6%
Data storage equipment
5%
Acoustic waves
5%
Agriculture & Biology
Corsica
27%
Aphaenogaster
25%
Formicidae
23%
Hymenoptera
22%
Sardinia
16%
DNA barcoding
14%
redescriptions
14%
Western Africa
14%
France
11%
Temnothorax
10%
monitoring
8%
neotypes
8%
Myrmica
6%
genetic distance
6%