YDe6DAri53XVpSkxui93rfUTwC0UrS88CaIp2pXHHILvAqbDSlNvBul0DzC4
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,2013

Indexed by:Journal paper

Document Code:SCI (000313400800006)

Volume:54

Issue:1

Page Number:61-78

Translation or Not:No

Included Journals:SCI

Date:2018-08-16

Prev One:The countable versus uncountable branching recurrences in computability logic