A finite presentation of graphs of treewidth at most three

Amina Doumane, Samuel Humeau, Damien Pous

We provide a finite equational presentation of graphs of treewidth at most three, solving an instanceof an open problem by Courcelle and Engelfriet. We use a syntax generalising se…