Reverse mathematics and colorings of hypergraphs.

Caleb Davis Jeffry L. Hirst Jake Pardo Tim Ransom

Published in: Arch. Math. Log. (2019)

Keyphrases

computer science
graph coloring
decomposition methods
computer algebra
neural network
decision trees
computer programming
computer assisted instruction
computer assisted learning
database
databases
artificial intelligence
database systems
relational databases
graph theory