On the Toggling-Branching Recurrence of Computability Logic.

Mei-Xia Qu Jun-Feng Luan Da-Ming Zhu Meng Du

Published in: J. Comput. Sci. Technol. (2013)

Keyphrases

branch and bound
search tree
sound and complete axiomatization
logical framework
database
databases
social networks
similarity measure
lower bound
search space
modal logic
computational properties
defeasible logic
digital circuits
abductive reasoning
asynchronous circuits