Graph Algorithms for Improving Type-Logical Proof Search

Published in: CoRR (2008)

Keyphrases

neural network
computational complexity
graph theory
expert systems
probabilistic model
optimization problems
orders of magnitude