location: 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

Pre One:A formal system for propositional extended IF logic

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

Baidu
map