Edit Profile (opens in new tab) Matsuda, Naosuke Compute Distance To: Compute Author ID: matsuda.naosuke Published as: Matsuda, Naosuke Documents Indexed: 4 Publications since 2014 Co-Authors: 6 Co-Authors with 4 Joint Publications 23 Co-Co-Authors all top 5 Co-Authors 0 single-authored 2 Kashima, Ryo 2 Komori, Yuichi 1 Fujita, Ken-etsu 1 Nakamura, Yoshiki 1 Yamakawa, Fumika 1 Yuyama, Takao Serials 3 Studia Logica 1 Notre Dame Journal of Formal Logic Fields 4 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH Open 1 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ A simplified proof of the Church-Rosser theorem. Zbl 1338.03017Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 4 2014 A simplified proof of the Church-Rosser theorem. Zbl 1338.03017Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 4 2014 all top 5 Cited by 6 Authors 3 Fujita, Ken-etsu 2 Nakazawa, Koji 1 Kashima, Ryo 1 Komori, Yuichi 1 Matsuda, Naosuke 1 Naya, Hiroto Cited in 2 Serials 3 Studia Logica 1 Theoretical Computer Science Cited in 2 Fields 4 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year