Edit Profile (opens in new tab) Toyama, Yoshihito Co-Author Distance Author ID: toyama.yoshihito Published as: Toyama, Yoshihito; Toyama, Y. Documents Indexed: 42 Publications since 1986 3 Contributions as Editor Co-Authors: 22 Co-Authors with 32 Joint Publications 279 Co-Co-Authors all top 5 Co-Authors 13 single-authored 13 Aoto, Takahito 4 Nagaya, Takashi 4 Sakai, Masahiko 3 Kikuchi, Kentaro 3 Klop, Jan Willem 3 Middeldorp, Aart 2 Barendregt, Hendrik Pieter 2 Oyamaguchi, Michio 2 Sato, Masahiko 1 Aiba, Akira 1 Antoy, Sergio 1 de Vrijer, Roel 1 Ida, Tetsuo 1 Kimura, Yuta 1 Kusakari, Keiichirou 1 Nakamura, Masaki 1 Sato, Koichi 1 Suzuki, Takaki 1 Uchida, Kazumasa 1 van Oostrom, Vincent 1 Yamada, Toshiyuki 1 Yoshida, Junichi all top 5 Serials 4 RIMS Kokyuroku 3 Information Processing Letters 2 Journal of the Association for Computing Machinery 2 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Information and Computation 1 International Journal of Foundations of Computer Science 1 Journal of Universal Computer Science 1 Electronic Notes in Theoretical Computer Science 1 Logical Methods in Computer Science Fields 45 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 33 Publications have been cited 375 times in 219 Documents Cited by ▼ Year ▼ On the Church-Rosser property for the direct sum of term rewriting systems. Zbl 1151.68453 Toyama, Yoshihito 74 1987 Counterexamples to termination for the direct sum of term rewriting systems. Zbl 0653.68010 Toyama, Yoshihito 64 1987 Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093 Toyama, Y.; Klop, J. W.; Barendregt, H. P. 28 1995 Argument filtering transformation. Zbl 0953.68068 Kusakari, Keiichirou; Nakamura, Masaki; Toyama, Yoshihito 20 1999 Proving confluence of term rewriting systems automatically. Zbl 1242.68125 Aoto, Takahito; Yoshida, Junichi; Toyama, Yoshihito 18 2009 Decidability for left-linear growing term rewriting systems. Zbl 1049.68075 Nagaya, Takashi; Toyama, Yoshihito 18 2002 Completeness of combinations of constructor systems. Zbl 0778.68050 Middeldorp, Aart; Toyama, Yoshihito 16 1993 Commutativity of term rewriting systems. Zbl 0675.68022 Toyama, Yoshihito 15 1988 Persistency of confluence. Zbl 0960.68082 Aoto, Takahito; Toyama, Yoshihito 15 1997 Decidability for left-linear growing term rewriting systems. Zbl 0943.68091 Nagaya, Takashi; Toyama, Yoshihito 11 1999 Termination for the direct sum of left-linear term rewriting systems (preliminary draft). Zbl 1503.68161 Toyama, Yoshihito; Klop, Jan Willem; Barendregt, Hendrik Pieter 11 1989 Confluence of orthogonal nominal rewriting systems revisited. Zbl 1366.68128 Suzuki, Takaki; Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito 9 2015 NVNF-sequentiality of left-linear term rewriting systems. Zbl 0939.68680 Nagaya, Takashi; Sakai, Masahiko; Toyama, Yoshihito 8 1995 Modularity of confluence: A simplified proof. Zbl 0795.68111 Klop, Jan Willem; Middeldorp, Aart; Toyama, Yoshihito; de Vrijer, Roel 8 1994 Confluent term rewriting systems with membership conditions. Zbl 0667.68041 Toyama, Yoshihito 7 1988 Termination of S-expression rewriting systems: Lexicographic path ordering for higher-order terms. Zbl 1187.68284 Toyama, Yoshihito 7 2004 Church-Rosser property and unique normal form property of non-duplicating term rewriting systems. Zbl 0939.68668 Toyama, Yoshihito; Oyamaguchi, Michio 6 1993 A reduction-preserving completion for proving confluence of non-terminating term rewriting systems. Zbl 1238.68071 Aoto, Takahito; Toyama, Yoshihito 6 2012 Completeness of combinations of constructor systems. Zbl 1503.68138 Middeldorp, Aart; Toyama, Yoshihito 6 1991 How to prove equivalence of term rewriting systems without induction. Zbl 0746.68049 Toyama, Yoshihito 4 1991 Ground confluence prover based on rewriting induction. Zbl 1387.68205 Aoto, Takahito; Toyama, Yoshihito 4 2016 Church-Rosser property and unique normal form property of non-duplicating term rewriting systems. Zbl 0939.68686 Toyama, Yoshihito; Oyamaguchi, Michio 3 1995 Parallel closure theorem for left-linear nominal rewriting systems. Zbl 1495.68114 Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito 3 2017 How to prove equivalence of term rewriting systems without induction. Zbl 0642.68033 Toyama, Yoshihito 2 1986 Semantics and strong sequentiality of priority term rewriting systems. Zbl 0912.68101 Sakai, Masahiko; Toyama, Yoshihito 2 1998 Confluent term rewriting systems. Zbl 1078.68663 Toyama, Yoshihito 2 2005 Normalisation by random descent. Zbl 1387.68151 Van Oostrom, Vincent; Toyama, Yoshihito 2 2016 Fast Knuth-Bendix completion with a term rewriting system compiler. Zbl 0677.68021 Toyama, Yoshihito 1 1989 A reduction-preserving completion for proving confluence of non-terminating term rewriting systems. Zbl 1236.68115 Aoto, Takahito; Toyama, Yoshihito 1 2011 On composable properties of term rewriting systems. Zbl 0884.68069 Aoto, Takahito; Toyama, Yoshihito 1 1997 Proving confluence of term rewriting systems via persistency and decreasing diagrams. Zbl 1416.68088 Aoto, Takahito; Toyama, Yoshihito; Uchida, Kazumasa 1 2014 Termination proof of S-expression rewriting systems with recursive path relations. Zbl 1145.68458 Toyama, Yoshihito 1 2008 Improving rewriting induction approach for proving ground confluence. Zbl 1434.68215 Aoto, Takahito; Toyama, Yoshihito; Kimura, Yuta 1 2017 Parallel closure theorem for left-linear nominal rewriting systems. Zbl 1495.68114 Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito 3 2017 Improving rewriting induction approach for proving ground confluence. Zbl 1434.68215 Aoto, Takahito; Toyama, Yoshihito; Kimura, Yuta 1 2017 Ground confluence prover based on rewriting induction. Zbl 1387.68205 Aoto, Takahito; Toyama, Yoshihito 4 2016 Normalisation by random descent. Zbl 1387.68151 Van Oostrom, Vincent; Toyama, Yoshihito 2 2016 Confluence of orthogonal nominal rewriting systems revisited. Zbl 1366.68128 Suzuki, Takaki; Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito 9 2015 Proving confluence of term rewriting systems via persistency and decreasing diagrams. Zbl 1416.68088 Aoto, Takahito; Toyama, Yoshihito; Uchida, Kazumasa 1 2014 A reduction-preserving completion for proving confluence of non-terminating term rewriting systems. Zbl 1238.68071 Aoto, Takahito; Toyama, Yoshihito 6 2012 A reduction-preserving completion for proving confluence of non-terminating term rewriting systems. Zbl 1236.68115 Aoto, Takahito; Toyama, Yoshihito 1 2011 Proving confluence of term rewriting systems automatically. Zbl 1242.68125 Aoto, Takahito; Yoshida, Junichi; Toyama, Yoshihito 18 2009 Termination proof of S-expression rewriting systems with recursive path relations. Zbl 1145.68458 Toyama, Yoshihito 1 2008 Confluent term rewriting systems. Zbl 1078.68663 Toyama, Yoshihito 2 2005 Termination of S-expression rewriting systems: Lexicographic path ordering for higher-order terms. Zbl 1187.68284 Toyama, Yoshihito 7 2004 Decidability for left-linear growing term rewriting systems. Zbl 1049.68075 Nagaya, Takashi; Toyama, Yoshihito 18 2002 Argument filtering transformation. Zbl 0953.68068 Kusakari, Keiichirou; Nakamura, Masaki; Toyama, Yoshihito 20 1999 Decidability for left-linear growing term rewriting systems. Zbl 0943.68091 Nagaya, Takashi; Toyama, Yoshihito 11 1999 Semantics and strong sequentiality of priority term rewriting systems. Zbl 0912.68101 Sakai, Masahiko; Toyama, Yoshihito 2 1998 Persistency of confluence. Zbl 0960.68082 Aoto, Takahito; Toyama, Yoshihito 15 1997 On composable properties of term rewriting systems. Zbl 0884.68069 Aoto, Takahito; Toyama, Yoshihito 1 1997 Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093 Toyama, Y.; Klop, J. W.; Barendregt, H. P. 28 1995 NVNF-sequentiality of left-linear term rewriting systems. Zbl 0939.68680 Nagaya, Takashi; Sakai, Masahiko; Toyama, Yoshihito 8 1995 Church-Rosser property and unique normal form property of non-duplicating term rewriting systems. Zbl 0939.68686 Toyama, Yoshihito; Oyamaguchi, Michio 3 1995 Modularity of confluence: A simplified proof. Zbl 0795.68111 Klop, Jan Willem; Middeldorp, Aart; Toyama, Yoshihito; de Vrijer, Roel 8 1994 Completeness of combinations of constructor systems. Zbl 0778.68050 Middeldorp, Aart; Toyama, Yoshihito 16 1993 Church-Rosser property and unique normal form property of non-duplicating term rewriting systems. Zbl 0939.68668 Toyama, Yoshihito; Oyamaguchi, Michio 6 1993 Completeness of combinations of constructor systems. Zbl 1503.68138 Middeldorp, Aart; Toyama, Yoshihito 6 1991 How to prove equivalence of term rewriting systems without induction. Zbl 0746.68049 Toyama, Yoshihito 4 1991 Termination for the direct sum of left-linear term rewriting systems (preliminary draft). Zbl 1503.68161 Toyama, Yoshihito; Klop, Jan Willem; Barendregt, Hendrik Pieter 11 1989 Fast Knuth-Bendix completion with a term rewriting system compiler. Zbl 0677.68021 Toyama, Yoshihito 1 1989 Commutativity of term rewriting systems. Zbl 0675.68022 Toyama, Yoshihito 15 1988 Confluent term rewriting systems with membership conditions. Zbl 0667.68041 Toyama, Yoshihito 7 1988 On the Church-Rosser property for the direct sum of term rewriting systems. Zbl 1151.68453 Toyama, Yoshihito 74 1987 Counterexamples to termination for the direct sum of term rewriting systems. Zbl 0653.68010 Toyama, Yoshihito 64 1987 How to prove equivalence of term rewriting systems without induction. Zbl 0642.68033 Toyama, Yoshihito 2 1986 all cited Publications top 5 cited Publications all top 5 Cited by 187 Authors 28 Middeldorp, Aart 9 Lucas, Salvador 9 Sakai, Masahiko 8 Fernández, Maribel 8 Gramlich, Bernhard 8 Hirokawa, Nao 8 Klop, Jan Willem 8 Toyama, Yoshihito 7 Jouannaud, Jean-Pierre 7 Zantema, Hans 6 Aoto, Takahito 6 Felgenhauer, Bertram 6 Giesl, Jürgen 6 Godoy, Guillem 6 Rao, M. R. K. Krishna 6 van Oostrom, Vincent 6 Zankl, Harald 5 Dershowitz, Nachum 5 Jacquemard, Florent 5 Schneider-Kamp, Peter 4 Alpuente, María 4 Escobar, Santiago 4 Kikuchi, Kentaro 4 Mackie, Ian 4 Marchiori, Massimo 4 Nishida, Naoki 4 Ohlebusch, Enno 4 Schmidt-Schauß, Manfred 4 Thiemann, René 4 Urbain, Xavier 4 Verma, Rakesh M. 3 Durand, Irène A. 3 Endrullis, Jörg 3 Geuvers, Jan Herman 3 Kojima, Yoshiharu 3 Korp, Martin 3 Kurihara, Masahito 3 Lochmann, Alexander 3 Meseguer Guaita, José 3 Nagele, Julian 3 Ogawa, Mizuhito 3 Oyamaguchi, Michio 3 Plump, Detlef 3 Simonsen, Jakob Grue 3 Vágvölgyi, Sándor 3 Yamada, Akihisa 2 Alves, Sandra 2 Ayala-Rincón, Mauricio 2 Baader, Franz 2 Barbanera, Franco 2 Bergstra, Jan A. 2 Blanqui, Frédéric 2 Comon, Hubert 2 de Vrijer, R. C. 2 Dougherty, Daniel J. 2 Faggian, Claudia 2 Falke, Stephan 2 Fernández, Mirtha-Lina 2 Florido, Mário 2 Fuhs, Carsten 2 Geser, Alfons 2 Gutiérrez, Raúl 2 Hamana, Makoto 2 Iborra, José 2 Kahrs, Stefan Michael 2 Marché, Claude 2 Mitterwallner, Fabian 2 Ohuchi, Azuma 2 Otto, Friedrich 2 Rocha-Oliveira, Ana Cristina 2 Rubio, Albert 2 Sakabe, Toshiki 2 Sattler-Klein, Andrea 2 Shintani, Kiraku 2 Tinelli, Cesare 2 Tiwari, Ashish Kumar 2 Zhang, Xubo 1 Agustí, Jaume 1 Akama, Yohji 1 Alarcón, Beatriz 1 Andrianarivelo, Nirina 1 Avanzini, Martin 1 Baeten, Jos C. M. 1 Barendregt, Hendrik Pieter 1 Barthe, Gilles 1 Berger, Ulrich 1 Blanchette, Jasmin Christian 1 Bofill, Miquel 1 Boudet, Alexandre 1 Breazu-Tannen, Val 1 Caron, Anne-Cécile 1 Chbeir, Richard 1 Chihani, Zakaria 1 Codish, Michael 1 Contejean, Evelyne 1 Coquidé, Jean-Luc 1 Courtieu, Pierre 1 Creus, Carles 1 Czajka, Łukasz 1 Dawson, Jeremy E. ...and 87 more Authors all top 5 Cited in 20 Serials 36 Theoretical Computer Science 18 Information and Computation 14 Information Processing Letters 14 Journal of Automated Reasoning 9 Journal of Symbolic Computation 8 Applicable Algebra in Engineering, Communication and Computing 6 Logical Methods in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Annals of Pure and Applied Logic 2 Journal of Computer Science and Technology 2 ACM Transactions on Computational Logic 1 Information Sciences 1 Journal of Computer and System Sciences 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Indagationes Mathematicae. New Series 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 7 Fields 213 Computer science (68-XX) 54 Mathematical logic and foundations (03-XX) 4 Category theory; homological algebra (18-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Group theory and generalizations (20-XX) 1 General algebraic systems (08-XX) 1 Field theory and polynomials (12-XX) Citations by Year