A proof of the rooted tree alternative conjecture.

Mykhaylo Tyomkyn

Published in: Discret. Math. (2009)

Keyphrases

theorem proving
database
real time
data sets
genetic algorithm
theorem prover
databases
social networks
face recognition
object recognition
linear logic
proof theory