An algebraic proof of Rabin's Tree Theorem.

Achim Blumensath

Published in: Theor. Comput. Sci. (2013)

Keyphrases

interactive theorem proving
tree structure
artificial intelligence
data structure
tree structures
neural network
data mining
b tree
theorem proving
linear logic
tree nodes
tree search
proof theory
proof theoretic
mathematical proofs