TY - CHAP A1 - Su, Kaile A1 - Chen, Qingliang A1 - Zheng, Xizhong A1 - Yue, Weiya T1 - Reasoning about Knowledge by SAT Solving T2 - International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China Y1 - 2006 SN - 1-4244-0604-8 SN - 1-4244-0605-6 SP - 536 EP - 539 PB - IEEE Press CY - Piscataway, NJ ER - TY - GEN A1 - Chen, Qingliang A1 - Su, Kaile A1 - Zheng, Xizhong T1 - Primitive Recursiveness of Real Numbers under Different Representations T2 - Electronic Notes in Theoretical Computer Science Y1 - 2007 SN - 1571-0661 VL - 167 SP - 303 EP - 324 ER -