Parallel Hyperedge Replacement String Languages 2020
Confluence up to Garbage 2020
The Improved GP 2 Compiler 2020
Parallel Hyperedge Replacement 2020
Turing Machines and Computability 2020
Formal Languages and Groups 2019
Intro to Computable Analysis 2019
Efficient Graph Rewriting 2019
Undecidable Problems 2017
Categories & Algebras 2017