A proof of the extended Duval's conjecture.

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

Keyphrases

mathematical proofs
information retrieval
multimedia
optimal solution
data structure
video sequences
search algorithm
expert systems
automated theorem provers