共 50 条
- [32] Cut elimination in deduction modulo by abstract completion Logical Foundations of Computer Science, Proceedings, 2007, 4514 : 115 - 131
- [33] Extended Bit-Flipping Algorithm for Solving Sparse Linear Systems of Equations Modulo p 2011 IEEE INFORMATION THEORY WORKSHOP (ITW), 2011,
- [38] The Index of a Modulo p SCHOLAR - A SCIENTIFIC CELEBRATION HIGHLIGHTING OPEN LINES OF ARITHMETIC RESEARCH, 2015, 655 : 83 - 96