4bhG4NNlZVMzZXTUh6uGb7in2Yct593pZJw2Rs4LH7Umvc6YkHIHlZIM6aHz
Current position: Home >> Scientific Research >> Paper Publications

The Countable Versus Uncountable Branching Recurrences in Computability Logic

Hits:

Title of Paper:The Countable Versus Uncountable Branching Recurrences in Computability Logic

Journal:Journal of Applied Logic

Correspondence Author:Wenyan Xu

Volume:10

Issue:4

Page Number:431-446

Translation or Not:No

Date of Publication:2012-12-01

Date:2024-04-15

Prev One:幂级数的启发式教学设计与探究

Next One:任务逻辑中的定理