A Short Proof of the Random Ramsey Theorem.

Rajko Nenadov Angelika Steger

Published in: Comb. Probab. Comput. (2016)

Keyphrases

interactive theorem proving
theorem proving
real time
data structure
von neumann
social networks
multi agent
theorem prover
automated theorem proving