共 50 条
- [26] A Polynomial Model for Logics with a Prime Power Number of Truth Values Journal of Automated Reasoning, 2011, 46 : 205 - 221
- [30] Solvability of systems of polynomial congruences modulo a large prime computational complexity, 1999, 8 : 227 - 257