Automata, Computability and Complexity: Theory & Applications

Hilbert’s 10th Problem

Post Correspondence Problem

Tiling Problems

Logical Theories

Boustrophedon Writing

Context-Free Languages