✦ LIBER ✦

Isomorphism is equality

✍ Scribed by Coquand, Thierry; Danielsson, Nils Anders

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Graph isomorphism and equality of simpli

✍ V. Yu. Protasov 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 559 KB

A term equality problem equivalent to gr

✍ David A. Basin 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 594 KB

Is Equality Outdated?

✍ ROY HATTERSLEY 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 145 KB

Graph Isomorphism is in SPP

✍ V. Arvind; Piyush P. Kurur 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 187 KB

JUSTICE IS NOT EQUALITY

✍ Richard J. Arneson 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 88 KB

Testing homotopy equivalence is isomorph

✍ Yechezkel Zalcstein; Stanley P. Franklin 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 201 KB