The Parallel versus Branching Recurrences in Computability Logic

Wenyan Xu, Sanyang Liu. The Parallel versus Branching Recurrences in Computability Logic. Notre Dame Journal of Formal Logic, 54(1):61-78, 2013. [doi]

Abstract

Abstract is missing.