✦ LIBER ✦

An Algorithm for the Retrieval of Unifiers from Discrimination Trees

✍ Scribed by Hans de Nivelle

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algorithm for the inference of tree g

✍ R. C. Gonzalez; J. J. Edwards; M. G. Thomason 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 863 KB

An algorithm for the calculation of exac

✍ Peter Willett 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 594 KB

An improved algorithm for the calculatio

✍ Abdelmoula El-Hamdouchi; Peter Willett 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 460 KB

An algorithm for the retrieval of suspen

✍ Yan Li; Wei Huang; Ming Fang 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 898 KB

An Efficient Simple Algorithm for Fault

✍ Camarda, P.; Corsi, F.; Trentadue, A. 📂 Article 📅 1978 🏛 IEEE 🌐 English ⚖ 910 KB

An algorithm for finding the largest app

✍ Wang, J.T.L.; Shapiro, B.A.; Shasha, D.; Zhang, K.; Currey, K.M. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 133 KB