共 50 条
- [22] The Logic of Exact Covers: Completeness and Uniform Interpolation 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 418 - 427
- [24] On Envelopes and Covers in the Category of Short Exact Sequences Bulletin of the Malaysian Mathematical Sciences Society, 2020, 43 : 3457 - 3480
- [27] Computational combinatorics of hyperplane colorings of 6D-hypercube for all irreducible representations and applications Journal of Mathematical Chemistry, 2020, 58 : 204 - 272