Ludwig Staiger. A Polynomial-Time Algorithm for the Automatic Baire Property. In Vasco Brattka, Henning Fernau, Lorenzo Galeotti, editors, Timeless Machines: Computability Across Eras - 22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27-31, 2026, Proceedings. Volume 16674 of Lecture Notes in Computer Science, pages 528-536, Springer, 2026. [doi]
Abstract is missing.