On uniformization in the full binary tree

DOI10.4230/LIPICS.MFCS.2022.77MaRDI QIDQ6584083zbMATH OpenFDO

Authors Alexander Rabinovich

Publication date 6 August 2024

zbMATH Keywords

monadic second-order logicuniformization

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: On uniformization in the full binary tree

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