A polynomial space proof of the Graham-Pollak theorem.

Sundar Vishwanathan

Published in: J. Comb. Theory, Ser. A (2008)

Keyphrases

interactive theorem proving
theorem prover
machine learning
linear logic
automated theorem proving
natural deduction
data sets
artificial intelligence
computer vision
digital libraries
expert systems
von neumann
intuitionistic logic