✦ LIBER ✦

The countable versus uncountable branching recurrences in computability logic

✍ Scribed by Wenyan Xu; Sanyang Liu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Toggling-Branching Recurrence of

✍ Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu… 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 369 KB

The taming of recurrences in computabili

✍ Japaridze, Giorgi 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 366 KB

The taming of recurrences in computabili

✍ Japaridze, Giorgi 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 479 KB

A new face of the branching recurrence o

✍ Giorgi Japaridze 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 210 KB

[Lecture Notes in Computer Science] The

✍ Bonizzoni, Paola; Brattka, Vasco; Löwe, Benedikt 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 241 KB

[The Kluwer International Series in Engi

✍ van der Meer, P. R.; van Staveren, A.; van Roermund, A. H. M. 📂 Article 📅 2004 🏛 Springer US ⚖ 624 KB