"Universal quantification makes automatic structures hard to decide."

Christoph Haase, Radoslaw Piórkowski (2023)

Details and statistics

DOI: 10.48550/ARXIV.2306.10432

access: open

type: Informal or Other Publication

metadata version: 2023-06-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics