The Parallel versus Branching Recurrences in Computability Logic.
Wenyan XuSanyang LiuPublished in: Notre Dame J. Formal Log. (2013)
Keyphrases
- parallel processing
- parallel implementation
- logic programming
- modal logic
- multi valued
- branch and bound
- search tree
- shared memory
- proof theory
- general purpose
- parallel computing
- asynchronous circuits
- sound and complete axiomatization
- database
- deontic logic
- defeasible logic
- logical framework
- parallel computation
- automated reasoning
- website
- neural network