Generalized Decidability via Brouwer Trees

MaRDI QIDQ7217360arXivFDO

Authors Tom J. de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg

Publication date 2026

Published in arXiv

arXiv classification

cs.LO

This page was built for publication: Generalized Decidability via Brouwer Trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7217360)