Yoshihito Toyama

Publication Activity (10 Years)

Years Active: 1984-2019
Publications (10 Years): 9

Top Topics

Theorem Proving

Rewriting Systems

Prime Implicates

Top Venues

Publications

Takahito Aoto, Yoshihito Toyama
Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems. FroCos (2019)
Takahito Aoto, Yoshihito Toyama
Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems. CoRR (2018)
Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems. FroCoS (2017)
Takahito Aoto, Yoshihito Toyama, Yuta Kimura
Improving Rewriting Induction Approach for Proving Ground Confluence. FSCD (2017)
Takahito Aoto, Yoshihito Toyama
Ground Confluence Prover based on Rewriting Induction. FSCD (2016)
Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Critical Pair Analysis in Nominal Rewriting. SCSS (2016)
Vincent van Oostrom, Yoshihito Toyama
Normalisation by Random Descent. FSCD (2016)
Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Confluence of Orthogonal Nominal Rewriting Systems Revisited. RTA (2015)
Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Correctness of Context-Moving Transformations for Term Rewriting Systems. LOPSTR (2015)
Takahito Aoto, Yoshihito Toyama, Kazumasa Uchida
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams. RTA-TLCA (2014)
Takahito Aoto, Yoshihito Toyama
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems Log. Methods Comput. Sci. 8 (1) (2012)
Takahito Aoto, Yoshihito Toyama
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems. RTA (2011)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Program Transformation Templates for Tupling Based on Term Rewriting. IEICE Trans. Inf. Syst. (5) (2010)
Takahito Aoto, Junichi Yoshida, Yoshihito Toyama
Proving Confluence of Term Rewriting Systems Automatically. RTA (2009)
Jean-Pierre Jouannaud, Yoshihito Toyama
Modular Church-Rosser Modulo: The Complete Picture. Int. J. Softw. Informatics 2 (1) (2008)
Yoshihito Toyama
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations. RTA (2008)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Automatic Construction of Program Transformation Templates. Inf. Media Technol. 3 (2) (2008)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Program Transformation by Templates: A Rewriting Framework. Inf. Media Technol. 2 (1) (2007)
Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
Elimination Transformations for Associative-Commutative Rewriting Systems. J. Autom. Reason. 37 (3) (2006)
Sergio Antoy, Yoshihito Toyama
Preface. Electron. Notes Theor. Comput. Sci. 124 (2) (2005)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Program transformation by templates based on term rewriting. PPDP (2005)
Yoshihito Toyama
Reduction Strategies for Left-Linear Term Rewriting Systems. Processes, Terms and Cycles (2005)
Yoshihito Toyama
Confluent Term Rewriting Systems. RTA (2005)
Yoshihito Toyama
Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms. RTA (2004)
Takahito Aoto, Toshiyuki Yamada, Yoshihito Toyama
Inductive Theorems for Higher-Order Rewriting. RTA (2004)
Takashi Nagaya, Yoshihito Toyama
Decidability for Left-Linear Growing Term Rewriting Systems. Inf. Comput. 178 (2) (2002)
Yoshihito Toyama
New Challenges for Compuational Models. IFIP TCS (2000)
Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
Argument Filtering Transformation. PPDP (1999)
Takashi Nagaya, Yoshihito Toyama
Decidability for Left-Linaer Growing Term Rewriting Systems. RTA (1999)
Masahiko Sakai, Yoshihito Toyama
Semantics and Strong Sequentiality of Priority Term Rewriting Systems. Theor. Comput. Sci. 208 (1-2) (1998)
Takahito Aoto, Yoshihito Toyama
Termination Transformation by Tree Lifting Ordering. RTA (1998)
Takahito Aoto, Yoshihito Toyama
Persistency of Confluence. J. Univers. Comput. Sci. 3 (11) (1997)
Takahito Aoto, Yoshihito Toyama
On Composable Properties of Term Rewriting Systems. ALP/HOA (1997)
Masahiko Sakai, Yoshihito Toyama
Semantics and Strong Sequentiality of Priority Term Rewriting Systems. RTA (1996)
Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt
Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems. J. ACM 42 (6) (1995)
Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel C. de Vrijer
Modularity of Confluence: A Simplified Proof. Inf. Process. Lett. 49 (2) (1994)
Yoshihito Toyama, Michio Oyamaguchi
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems. CTRS (1994)
Aart Middeldorp, Yoshihito Toyama
Completeness of Combinations of Constructor Systems. J. Symb. Comput. 15 (3) (1993)
Yoshihito Toyama
Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems LICS (1992)
Aart Middeldorp, Yoshihito Toyama
Completeness of Combinations of Constructor Systems. RTA (1991)
Yoshihito Toyama
How to Prove Equivalence of Term Rewriting Systems Without Induction. Theor. Comput. Sci. 90 (2) (1991)
Yoshihito Toyama
Fast Knuth-Bendix Completion with a Term Rewriting System Compiler. Inf. Process. Lett. 32 (6) (1989)
Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt
Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-. RTA (1989)
Yoshihito Toyama
Confluent Term Rewriting Systems with Membership Conditions. CTRS (1987)
Yoshihito Toyama
On the Church-Rosser property for the direct sum of term rewriting systems. J. ACM 34 (1) (1987)
Yoshihito Toyama
Counterexamples to Termination for the Direct Sum of Term Rewriting Systems. Inf. Process. Lett. 25 (3) (1987)
Yoshihito Toyama
How to Prove Equivalence of Term Rewriting Systems without Induction. CADE (1986)
Yoshihito Toyama
On Equivalence Transformations for Term Rewriting Systems. RIMS Symposia on Software Science and Engineering (1984)