On conjectures of Frankl and El-Zahar.

Bernardo Llano Juan José Montellano-Ballesteros Eduardo Rivera-Campo Ricardo Strausz

Published in: J. Graph Theory (2008)

Keyphrases

description logics
theorem prover
databases
information systems
computational complexity
artificial intelligence
query processing
inductive inference