On uniformization in the full binary tree

From MaRDI portal

Publication:6584083

Jump to:navigation, search

DOI10.4230/lipics.mfcs.2022.77MaRDI QIDQ6584083

Alexander Rabinovich

Publication date: 6 August 2024

zbMATH Keywords

uniformization monadic second-order logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6584083&oldid=40123700"