2
semantics
× 4 |
0
proof-techniques
× 3 |
0
graphs
|
0
regular-languages
|
2
operational-semantics
× 4 |
0
correctness-proof
× 3 |
0
formal-grammars
|
0
computability
|
2
functional-programming
× 3 |
0
recursion
× 3 |
0
partial-order
|
0
domain-specific-languages
|
1
np-complete
|
0
terminology
× 3 |
0
data-compression
|
0
equality
|
1
np-hard
|
0
logic
× 2 |
0
term-rewriting
|
0
fixed-point
|
1
np
|
0
formal-languages
× 2 |
0
compilers
|
0
encoding-scheme
|
0
lambda-calculus
× 4 |
0
termination
× 2 |
0
computation-models
|
0
programming-languages
|
0
induction
× 4 |
0
notation
|
0
software-verification
|
0
dag
|
choeger
