The countable versus uncountable branching recurrences in computability logic.

Wenyan Xu Sanyang Liu

Published in: J. Appl. Log. (2012)

Keyphrases

branch and bound
modal logic
multi valued
search tree
markov chain
logic programming
logical framework
automated reasoning
proof theory
case study
data sets
search algorithm
multi agent
information retrieval
classical logic
predicate logic
real time