Centre for Discrete Mathematics and Theoretical Computer Science


Research Reports


Showing Year 2025 Reports

ID Author & Report Title Date Action
582
Title:
A polynomial-time algorithm for the automatic BAIRE property
Name:
L. Staiger
01/2025