Edit Profile Matsuda, Naosuke Compute Distance To: Compute Author ID: matsuda.naosuke Published as: Matsuda, Naosuke Documents Indexed: 2 Publications since 2014 Co-Authors 0 single-authored 2 Komori, Yuichi 1 Fujita, Ken-etsu 1 Kashima, Ryo 1 Yamakawa, Fumika Serials 2 Studia Logica Fields 2 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH 1 Publication has 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