Edit Profile (opens in new tab) Yamakawa, Fumika Co-Author Distance Author ID: yamakawa.fumika Published as: Yamakawa, Fumika Documents Indexed: 1 Publication since 2014 Co-Authors: 2 Co-Authors with 1 Joint Publication 10 Co-Co-Authors Co-Authors 0 single-authored 1 Komori, Yuichi 1 Matsuda, Naosuke Serials 1 Studia Logica Fields 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1 Publications have been cited 8 times in 6 Documents Cited by ▼ Year ▼ A simplified proof of the Church-Rosser theorem. Zbl 1338.03017 Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 8 2014 A simplified proof of the Church-Rosser theorem. Zbl 1338.03017 Komori, Yuichi; Matsuda, Naosuke; Yamakawa, Fumika 8 2014 all cited Publications top 5 cited Publications all top 5 Cited by 10 Authors 4 Fujita, Ken-etsu 3 Nakazawa, Koji 1 Bowman, William J. 1 Chan, Jonathan Cheung-Wai 1 Imagawa, Yuta 1 Kashima, Ryo 1 Komori, Yuichi 1 Li, Yufeng 1 Matsuda, Naosuke 1 Naya, Hiroto Cited in 4 Serials 3 Studia Logica 1 Theoretical Computer Science 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Functional Programming Cited in 2 Fields 5 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Citations by Year