On the Toggling-Branching Recurrence of Computability Logic

Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu, Meng Du. On the Toggling-Branching Recurrence of Computability Logic. J. Comput. Sci. Technol., 28(2):278-284, 2013. [doi]

Abstract

Abstract is missing.