Ivanov, I. (2025). Modified version of a formal proof of completeness of the decreasing diagrams method for proving confluence of relations of the least uncountable cardinality. Zenodo.
Citazione stile Chigago Style (17a edizione)Ivanov, Ievgen. Modified Version of a Formal Proof of Completeness of the Decreasing Diagrams Method for Proving Confluence of Relations of the Least Uncountable Cardinality. Zenodo, 2025.
Citatione MLA (9a ed.)Ivanov, Ievgen. Modified Version of a Formal Proof of Completeness of the Decreasing Diagrams Method for Proving Confluence of Relations of the Least Uncountable Cardinality. Zenodo, 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.