6JapwjIkah8VvyzNsKj7dsSM4IhvrwVWkbTB7wQ3VwZiYyKav1HujI1avbSW
Current position: Home >> Scientific Research >> Paper Publications

The Parallel Versus Branching Recurrences in Computability Logic

Hits:

Title of Paper:The Parallel Versus Branching Recurrences in Computability Logic

Journal:Notre Dame Journal of Formal Logic

Correspondence Author:许文艳

Volume:54

Issue:1

Page Number:61-78

Translation or Not:No

Date of Publication:2013-01-01

Date:2024-04-08

Prev One:A Propositional System Induced by Japaridze\'s Approach to If Logic

Next One:Sequential rough set: a conservative extension of Pawlak’s classical rough set