research
∙
06/17/2023
Universal quantification makes automatic structures hard to decide
Automatic structures are structures whose universe and relations can be ...
research
∙
02/21/2018