1
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
2
3
4
5
6
7
8
9