1
2
3
4
5
6
8
9
Dediu, Adrian-Horia.
2015
Table of Contents:
“...Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting...”2015
Full text
10
11
12
13
14
15
16
17
18
19