Thomas Kern

Regular Languages and Model Theory 1: Finite Automata

Regular Languages and Model Theory 4: Regular Expressions

Regular Languages and Model Theory 33: Tail-Head Functions

Regular Languages and Model Theory 12: Gödel's Beta Function

Regular Languages and Model Theory 15: Structure-Preserving Maps

Regular Languages and Model Theory 3: Constraint Systems and NFAs