Login / Signup
Short Proof of Galvin's Theorem on the List-chromatic Index of a Bipartite Multigraph.
Tomaz Slivnik
Published in:
Comb. Probab. Comput. (1996)
Keyphrases
</>
interactive theorem proving
color images
theorem proving
database
graph model
bipartite graph
information retrieval
data structure
index structure
b tree
color information
mathematical proofs
von neumann
indexing method
human perception
neural network
databases