✦ LIBER ✦

On the Equivalence Conjecture for Proof-Theoretic Harmony

✍ Scribed by Steinberger, Florian

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof of the set-theoretic version of

✍ Shmuel Friedland; Elizabeth Gross 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 140 KB

A note on the stable equivalence conject

✍ Tang, Aiping 📂 Article 📅 1996 🏛 Taylor and Francis Group 🌐 English ⚖ 549 KB

Proofs of some conjectures on monotonici

✍ Wang, Yi; Zhu, BaoXuan 📂 Article 📅 2014 🏛 SP Science China Press 🌐 English ⚖ 173 KB

Proof of the HRT conjecture for configur

✍ Ciprian Demeter; Alexandru Zaharescu 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 154 KB

The Calculus of Higher-Level Rules, Prop

✍ Schroeder-Heister, Peter 📂 Article 📅 2014 🏛 Springer Netherlands 🌐 English ⚖ 306 KB

A Note on the Proof of Niho's Conjecture

✍ Hou, Xiang-dong 📂 Article 📅 2004 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 129 KB