arXiv1408.0629MaRDI QIDQ6253670
Zhao, Xishun, Oliver Kullmann
Publication date: 4 August 2014
Mathematics Subject Classification ID
03B05: Classical propositional logic
68R99: Discrete mathematics in relation to computer science
05D99: Extremal combinatorics