A note on a theorem of Erdös & Gallai.

Amitabha Tripathi Sujith Vijay

Published in: Discret. Math. (2003)

Keyphrases

probabilistic model
digital topology
interactive theorem proving
artificial intelligence
knowledge base
database systems
object recognition
pairwise
dynamic programming
von neumann
intuitionistic logic
onset detection