Universal quantification makes automatic structures hard to decide

Christoph Haase, Radosław Piórkowski
January 2023
PDF DOI
Type
Conference paper
Publication
Concurrency Theory, CONCUR