Keyphrases
- massively parallel
- proof theory
- automated reasoning
- deductive reasoning
- intuitionistic logic
- computational properties
- logical framework
- order of magnitude reasoning
- proof theoretic
- parallel computing
- high performance computing
- fine grained
- probabilistic logic
- knowledge base
- mesh connected
- parallel computers
- logic programming
- knowledge representation
- horn logic
- blue gene
- modal logic
- parallel machines
- parallel architectures
- parallel programming
- classical logic
- shared memory
- logic programs
- message passing interface
- computational complexity