✦ LIBER ✦

Sequential operators in computability logic

✍ Scribed by Giorgi Japaridze

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sequential Reflexive Logics with Noncont

✍ E.E. Zolin 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 209 KB

Prolog Experiments in Discrete Mathemati

✍ Hein J. L. 📂 Library 📅 2005 🌐 English ⚖ 852 KB

The countable versus uncountable branchi

✍ Wenyan Xu; Sanyang Liu 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 306 KB

DNA Computation in Mammalian Cells: Micr

✍ Hemphill, James; Deiters, Alexander 📂 Article 📅 2013 🏛 American Chemical Society 🌐 English ⚖ 811 KB

A fast algorithm for cellular logic oper

✍ Frans C.A Groen; Nigel J Foster 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 389 KB

A Time-Sequential Tabular Analysis of Fl

✍ Arant, Gene W. 📂 Article 📅 1957 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 590 KB