Mathematics
Logarithmic
48%
Complexity Classes
36%
Concurrent
35%
Unification
30%
Proof Theory
30%
Linear Logic
29%
Logic Programming
26%
Calculus
25%
Interaction
22%
Encoding
21%
Concurrency
20%
Syntax
17%
Logic Programs
16%
Characterization
16%
Rewriting
16%
Unary
15%
Observation
15%
Permutation
15%
Group Action
14%
Process Algebra
14%
Term
12%
Models of Computation
11%
Language
11%
Polynomial time
11%
Algebra
10%
Equivalence
9%
Acyclicity
9%
Restriction
9%
Cut-elimination
8%
Context
8%
Pushdown Automata
8%
Standard Model
8%
Soundness
8%
Algebraic Specification
8%
Semiring
7%
Reversible Systems
7%
Congruence
7%
Thread
7%
Finite Automata
7%
Query
7%
Algebraic Structure
6%
Operator
6%
Computational Complexity
6%
Intuitive
6%
Completeness
6%
Correspondence
5%
Framework
5%
Permutation group
5%
Interpretation
5%
Hilbert space
5%
Engineering & Materials Science
Algebra
100%
Semantics
39%
Geometry
29%
Logic programming
25%
Computational complexity
23%
Specifications
23%
Hilbert spaces
19%
Polynomials
16%
Data integration
16%
Diamonds
14%
Machinery
13%
Mathematical operators
13%
Chemical analysis
12%
Syntactics
12%
Productivity
11%
Set theory
9%
Finite automata
7%
Static analysis
7%
Byproducts
7%
Data storage equipment
5%
Agriculture & Biology
Corsica
29%
Aphaenogaster
27%
Formicidae
25%
Hymenoptera
23%
Sardinia
17%
DNA barcoding
15%
redescriptions
15%
Western Africa
15%
France
12%
Temnothorax
11%
monitoring
9%
neotypes
8%
Myrmica
7%
genetic distance
6%