Sung, M. (2026). Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point.
Style de citation Chicago (17e éd.)Sung, Miara. Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and Its Least Fixed Point. 2026.
Style de citation MLA (9e éd.)Sung, Miara. Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and Its Least Fixed Point. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.