×
Author ID: toyama.yoshihito Recent zbMATH articles by "Toyama, Yoshihito"
Published as: Toyama, Yoshihito; Toyama, Y.

Publications by Year

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 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

Citations by Year