Yoshihito Toyama

According to our database, Yoshihito Toyama authored at least 41 papers between 1984 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems.

Takahito Aoto, Yoshihito Toyama

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2017

Improving Rewriting Induction Approach for Proving Ground Confluence.

Takahito Aoto, Yoshihito Toyama, Yuta Kimura

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.

Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

Critical Pair Analysis in Nominal Rewriting.

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Normalisation by Random Descent.

Vincent van Oostrom, Yoshihito Toyama

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Ground Confluence Prover based on Rewriting Induction.

Takahito Aoto, Yoshihito Toyama

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2015

Confluence of Orthogonal Nominal Rewriting Systems Revisited.

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Correctness of Context-Moving Transformations for Term Rewriting Systems.

Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams.

Takahito Aoto, Yoshihito Toyama, Kazumasa Uchida

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2012

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

Takahito Aoto, Yoshihito Toyama

Log. Methods Comput. Sci., 2012

2010

Program Transformation Templates for Tupling Based on Term Rewriting.

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

IEICE Trans. Inf. Syst., 2010

2009

Proving Confluence of Term Rewriting Systems Automatically.

Takahito Aoto, Junichi Yoshida, Yoshihito Toyama

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

Modular Church-Rosser Modulo: The Complete Picture.

Jean-Pierre Jouannaud, Yoshihito Toyama

Int. J. Softw. Informatics, 2008

Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations.

Yoshihito Toyama

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2006

Elimination Transformations for Associative-Commutative Rewriting Systems.

Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama

J. Autom. Reason., 2006

2005

Confluent Term Rewriting Systems.

Yoshihito Toyama

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Program transformation by templates based on term rewriting.

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Reduction Strategies for Left-Linear Term Rewriting Systems.

Yoshihito Toyama

Proceedings of the Processes, 2005

2004

Preface.

Sergio Antoy, Yoshihito Toyama

Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004

Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms.

Yoshihito Toyama

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

Inductive Theorems for Higher-Order Rewriting.

Takahito Aoto, Toshiyuki Yamada, Yoshihito Toyama

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

2002

Decidability for Left-Linear Growing Term Rewriting Systems.

Takashi Nagaya, Yoshihito Toyama

Inf. Comput., 2002

2000

New Challenges for Compuational Models.

Yoshihito Toyama

Proceedings of the Theoretical Computer Science, 2000

1999

Decidability for Left-Linaer Growing Term Rewriting Systems.

Takashi Nagaya, Yoshihito Toyama

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Argument Filtering Transformation.

Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

1998

Semantics and Strong Sequentiality of Priority Term Rewriting Systems.

Masahiko Sakai, Yoshihito Toyama

Theor. Comput. Sci., 1998

Termination Transformation by Tree Lifting Ordering.

Takahito Aoto, Yoshihito Toyama

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

1997

Persistency of Confluence.

Takahito Aoto, Yoshihito Toyama

J. Univers. Comput. Sci., 1997

On Composable Properties of Term Rewriting Systems.

Takahito Aoto, Yoshihito Toyama

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1995

Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems.

Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt

J. ACM, 1995

1994

Modularity of Confluence: A Simplified Proof.

Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel C. de Vrijer

Inf. Process. Lett., 1994

Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems.

Yoshihito Toyama, Michio Oyamaguchi

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

1993

Completeness of Combinations of Constructor Systems.

Aart Middeldorp, Yoshihito Toyama

J. Symb. Comput., 1993

1992

Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems

Yoshihito Toyama

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

How to Prove Equivalence of Term Rewriting Systems Without Induction.

Yoshihito Toyama

Theor. Comput. Sci., 1991

1989

Fast Knuth-Bendix Completion with a Term Rewriting System Compiler.

Yoshihito Toyama

Inf. Process. Lett., 1989

Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-.

Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1987

On the Church-Rosser property for the direct sum of term rewriting systems.

Yoshihito Toyama

J. ACM, 1987

Counterexamples to Termination for the Direct Sum of Term Rewriting Systems.

Yoshihito Toyama

Inf. Process. Lett., 1987

Confluent Term Rewriting Systems with Membership Conditions.

Yoshihito Toyama

Proceedings of the Conditional Term Rewriting Systems, 1987

1984

On Equivalence Transformations for Term Rewriting Systems.

Yoshihito Toyama

Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984