✦ LIBER ✦

The universal resolving algorithm and its correctness: inverse computation in a functional language

✍ Scribed by Sergei Abramov; Robert Glück

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Singlet-state creation and universal qua

✍ Manu, V. S.; Kumar, Anil 📂 Article 📅 2012 🏛 The American Physical Society 🌐 English ⚖ 752 KB

A fast algorithm for computing and corre

✍ Lenard M. Voortman; Sjoerd Stallinga; Remco H.M. Schoenmakers; Lucas J. van Vlie 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 594 KB

On the language specificity of basic num

✍ Julia Zuber; Silvia Pixner; Korbinian Moeller; Hans-Christoph Nuerk 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 223 KB

A simple parallel algorithm for computin

✍ Zhi-Zhong Chen 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 499 KB

A Cycle Time Computing Algorithm and its

✍ Yiping Cheng; Da-Zhong Zheng 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 280 KB

[Lecture Notes in Computer Science] Tool

✍ Brinksma, Ed 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 918 KB