共 50 条
- [41] Fault Tolerance for Arithmetic and Logic Unit PROCEEDINGS OF THE IEEE SOUTHEASTCON 2009, TECHNICAL PROCEEDINGS, 2009, : 329 - 334
- [42] PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (5-6): : 535 - 550
- [45] Multilevel logic synthesis for arithmetic functions 33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996, 1996, : 242 - 247
- [50] On the Complexity of Pointer Arithmetic in Separation Logic PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2018, 2018, 11275 : 329 - 349