research
∙
02/09/2023
Hardness of monadic second-order formulae over succinct graphs
Our main result is a succinct counterpoint to Courcelle's meta-theorem a...
share
research
∙
12/19/2018
On the entropy of coverable subshifts
A coloration w of Z^2 is said to be coverable if there exists a rectangu...
research
∙
03/07/2018
