Login / Signup
Jun-Feng Luan
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Sound And Complete Axiomatization
Database
Search Tree
Abductive Reasoning
Top Venues
J. Comput. Sci. Technol.
</>
Publications
</>
Mei-Xia Qu
,
Jun-Feng Luan
,
Da-Ming Zhu
,
Meng Du
On the Toggling-Branching Recurrence of Computability Logic.
J. Comput. Sci. Technol.
28 (2) (2013)