Follow
Takahito Aoto
Title
Cited by
Cited by
Year
Proving confluence of term rewriting systems automatically
T Aoto, J Yoshida, Y Toyama
Rewriting Techniques and Applications: 20th International Conference, RTA …, 2009
1002009
Persistency of Confluence.
T Aoto, Y Toyama
J. Univers. Comput. Sci. 3 (11), 1134-1147, 1997
521997
Automated confluence proof by decreasing diagrams based on rule-labelling
T Aoto
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
292010
Termination of simply typed term rewriting by translation and labelling
T Aoto, T Yamada
International Conference on Rewriting Techniques and Applications, 380-394, 2003
292003
Dealing with non-orientable equations in rewriting induction
T Aoto
Term Rewriting and Applications: 17th International Conference, RTA 2006 …, 2006
272006
A reduction-preserving completion for proving confluence of non-terminating term rewriting systems
T Aoto, Y Toyama
Logical Methods in Computer Science 8, 2012
252012
Program transformation by templates based on term rewriting
Y Chiba, T Aoto, Y Toyama
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
252005
Dependency pairs for simply typed term rewriting
T Aoto, T Yamada
International Conference on Rewriting Techniques and Applications, 120-134, 2005
242005
Disproving confluence of term rewriting systems by interpretation and ordering
T Aoto
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013
232013
Confluence competition 2015
T Aoto, N Hirokawa, J Nagele, N Nishida, H Zankl
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
212015
Uniqueness of normal proofs in implicational intuitionistic logic
T Aoto
Journal of Logic, Language and Information 8 (2), 217-242, 1999
211999
Confluence of orthogonal nominal rewriting systems revisited
T Suzuki, K Kikuchi, T Aoto, Y Toyama
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
182015
Ground confluence prover based on rewriting induction
T Aoto, Y Toyama
1st International Conference on Formal Structures for Computation and …, 2016
172016
Designing a rewriting induction prover with an increased capability of non-orientable theorems
T Aoto
Proceedings of the Austrian-Japanese Workshop on Symbolic Computation in …, 2008
162008
Solution to the problem of Zantema on a persistent property of term rewriting systems
T Aoto
International Conference on Algebraic and Logic Programming, 250-265, 1998
161998
Sound lemma generation for proving inductive validity of equations
T Aoto
IARCS Annual Conference on Foundations of Software Technology and …, 2008
142008
Rewriting induction using termination checker
T Aoto
JSSST 24th Annual Conference, 2007, 2007
132007
Termination of simply-typed applicative term rewriting systems
T Aoto, T Yamada
Proc. HOR’04, 61-65, 2004
132004
On composable properties of term rewriting systems
T Aoto, Y Toyama
International Conference on Algebraic and Logic Programming, 114-128, 1997
111997
Nominal confluence tool
T Aoto, K Kikuchi
International Joint Conference on Automated Reasoning, 173-182, 2016
102016
The system can't perform the operation now. Try again later.
Articles 1–20