The parallel versus branching recurrences in computability logic

Wenyan Xu Sanyang Liu

Published in: CoRR (2011)

Keyphrases

logical framework
logic programming
parallel computation
database
defeasible logic
parallel implementation
automated reasoning
parallel hardware
multi core processors
set theory
parallel programming
modal logic
parallel processing
branch and bound
scheduling problem
optimal solution
website
machine learning