✦ LIBER ✦

Another Algorithm for Bracket Abstraction

✍ Scribed by D. A. Turner

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expedited Broda-Damas Bracket Abstractio

✍ M. W. Bunder 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 171 KB

An Abstraction Algorithm for Combinatory

✍ S. Kamal Abdali 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 129 KB

Another Sub-exponential Algorithm for

✍ Decheng Dai; Rong Ge 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 498 KB

Another higher order Langevin algorithm

✍ Andreas S. Kronfeld 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 261 KB

Another knot insertion algorithm for B-s

✍ Phillip J. Barry; Rui-Feng Zhu 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 664 KB

Another hybrid conjugate gradient algori

✍ Neculai Andrei 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 319 KB