Wang, Kun; Wu, Nan; Xu, Ping; Song, Fangmin One-dimensional lackadaisical quantum walks. (English) Zbl 1390.60171 J. Phys. A, Math. Theor. 50, No. 50, Article ID 505303, 14 p. (2017). Reviewer: Anton Tarasenko (Novosibirsk) MSC: 60G50 60B12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wang, Kun; Wu, Nan; Kuklinski, Parker; Xu, Ping; Hu, Haixing; Song, Fangmin Grover walks on a line with absorbing boundaries. (English) Zbl 1348.81187 Quantum Inf. Process. 15, No. 9, 3573-3597 (2016). MSC: 81P68 60G50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Xu, Jiafu; Song, Fangmin Quantum programming languages: a tentative study. (English) Zbl 1151.68355 Sci. China, Ser. F. 51, No. 6, 623-637 (2008). MSC: 68N15 × Cite Format Result Cite Review PDF Full Text: DOI
Dai, Jingan; Song, Fangmin To \(\lambda\)-define the computable functions without the fixed point operators. (Chinese. English summary) Zbl 1120.03010 J. Nanjing Univ., Nat. Sci. 42, No. 4, 342-345 (2006). MSC: 03B40 03D20 68Q05 × Cite Format Result Cite Review PDF
Zhu, Wujia; Xiao, Xian; Song, Fangmin; Gu, Hongfang An outlook on infinity. III: “every” and “all”. (Chinese. English summary) Zbl 1097.01507 J. Nanjing Univ. Aeronaut. Astronaut. 34, No. 3, 206-210 (2002). MSC: 03A05 00A30 01A60 03-03 03E70 × Cite Format Result Cite Review PDF
Zhu, Wujia; Xiao, Xian; Song, Fangmin; Gu, Hongfang An outlook on infinity. II: From Hausdorff’s intuition and Poincaré’s famous remark to Brouwer’s theater. (Chinese. English summary) Zbl 1097.01506 J. Nanjing Univ. Aeronaut. Astronaut. 34, No. 3, 201-205 (2002). MSC: 03A05 00A30 01A60 03-03 03E70 × Cite Format Result Cite Review PDF
Xiao, Xi’an; Song, Fangmin; Gu, Hongfang; Gong, Ningsheng; Zhu, Wujia An outlook on infinity. V: An axiomatic set theory APAS for holding the actual infinity and the potential infinity concurrently. (Chinese. English summary) Zbl 1097.01505 J. Nanjing Univ. Aeronaut. Astronaut. 34, No. 4, 312-317 (2002). MSC: 03A05 00A30 01A60 03-03 03E70 × Cite Format Result Cite Review PDF
Zhu, Wujia; Xiao, Xi’an; Song, Fangmin; Gu, Hongfang; Gong, Ningsheng An outlook on infinity. IV: Natural number system and infinity axiom. (Chinese. English summary) Zbl 1097.01508 J. Nanjing Univ. Aeronaut. Astronaut. 34, No. 4, 307-311 (2002). MSC: 03A05 00A30 01A60 03-03 03E70 × Cite Format Result Cite Review PDF
Zhu, Wujia; Xiao, Xian; Song, Fangmin; Gu, Hongfang An outlook on infinity. I: Historical studies and remarks. (Chinese. English summary) Zbl 1099.03506 J. Nanjing Univ. Aeronaut. Astronaut. 34, No. 2, 101-107 (2002). MSC: 03A05 00A30 03-03 03E70 × Cite Format Result Cite Review PDF
Qian, Yuechen; Zhu, Jun; Song, Fangmin Behavioral models and their application. (Chinese. English summary) Zbl 0961.68029 J. Nanjing Univ., Nat. Sci. 36, No. 2, 189-196 (2000). MSC: 68N19 × Cite Format Result Cite Review PDF
Song, Fangmin; Qian, Yuechen A syntactic proof of the conservativity of \(\lambda_\omega\) over \(\lambda_2\). (English) Zbl 0920.68025 J. Comput. Sci. Technol. 14, No. 2, 129-134 (1999). MSC: 68N15 × Cite Format Result Cite Review PDF Full Text: DOI