53
logic
× 12 |
7
algorithm-analysis
× 3 |
4
routing
|
1
undecidability
|
23
computability
× 3 |
7
master-theorem
|
4
halting-problem
|
1
linear-programming
|
14
terminology
× 2 |
7
asymptotics
|
4
church-turing-thesis
|
1
machine-learning
|
13
prolog
|
7
recurrence-relation
|
4
computer-networks
|
1
loops
|
13
constraint-programming
|
6
cryptography
|
4
complexity-theory
|
1
natural-language-processing
|
13
logic-programming
|
6
authentication
|
3
automated-theorem-proving
× 3 |
1
integrity
|
12
proof-techniques
× 2 |
6
security
|
3
compilers
|
1
filesystems
|
10
algorithms
× 3 |
5
correctness-proof
|
3
digital-circuits
|
1
satisfiability
|
9
propositional-logic
× 2 |
5
optimization
|
3
incompleteness
|
1
integer-programming
|
8
first-order-logic
× 6 |
5
sets
|
3
code-generation
|
1
digital-preservation
|
8
equality
|
4
reference-request
× 2 |
2
runtime-analysis
× 2 |
|
8
decision-problem
|
4
parallel-computing
× 2 |
2
computer-architecture
|
Dmitri Chubarov
