A short proof of a theorem on degree sets of graphs.

Amitabha Tripathi Sujith Vijay

Published in: Discret. Appl. Math. (2007)

Keyphrases

interactive theorem proving
random graphs
graph matching
von neumann
real time
linear logic
knowledge base
graph theory
theorem prover
definite clause
digital topology