Takahito Aoto

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 17

Top Topics

Theorem Proving

Rewriting Systems

Top Venues

Publications

Takahito Aoto, Naoki Nishida, Jonas Schöpf
Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version). CoRR (2024)
Takahito Aoto, Naoki Nishida, Jonas Schöpf
Equational Theories and Validity for Logically Constrained Term Rewriting. FSCD (2024)
Ryota Haga, Yuki Kagaya, Takahito Aoto
A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems. FroCoS (2023)
Kentaro Kikuchi, Takahito Aoto
Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems. FSTTCS (2021)
Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto
A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. ICTAC (2021)
Mamoru Ishizuka, Takahito Aoto, Munehiro Iwami
Commutative Rational Term Rewriting. LATA (2021)
Kentaro Kikuchi, Takahito Aoto
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. LOPSTR (2020)
Masaomi Yamaguchi, Takahito Aoto
A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems. FSCD (2020)
Takahito Aoto, Yoshihito Toyama
Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems. FroCos (2019)
Kentaro Kikuchi, Takahito Aoto, Isao Sasano
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. PPDP (2019)
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl
Confluence Competition 2018. FSCD (2018)
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)
Takahito Aoto, Kentaro Kikuchi
Nominal Confluence Tool. IJCAR (2016)
Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
Critical Pair Analysis in Nominal Rewriting. SCSS (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, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl
Confluence Competition 2015. CADE (2015)
Takahito Aoto, Sorin Stratulat
Decision Procedures for Proving Inductive Theorems without Induction. PPDP (2014)
Takahito Aoto, Yoshihito Toyama, Kazumasa Uchida
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams. RTA-TLCA (2014)
Takahito Aoto
Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering. FroCos (2013)
Takahito Aoto, Munehiro Iwami
Termination of Rule-Based Calculi for Uniform Semi-Unification. LATA (2013)
Takahito Aoto, Aart Middeldorp
Preface. Theor. Comput. Sci. 464 (2012)
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, Jeroen Ketema
Rational Term Rewriting Revisited: Decidability and Confluence. ICGT (2012)
Takahito Aoto, Yoshihito Toyama
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems. RTA (2011)
Takahito Aoto, Toshiyuki Yamada, Yuki Chiba
Natural Inductive Theorems for Higher-Order Rewriting. 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
Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling. RTA (2010)
Takahito Aoto, Junichi Yoshida, Yoshihito Toyama
Proving Confluence of Term Rewriting Systems Automatically. RTA (2009)
Takahito Aoto, Toshiyuki Yamada
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs. FroCoS (2009)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Automatic Construction of Program Transformation Templates. Inf. Media Technol. 3 (2) (2008)
Takahito Aoto
Soundness of Rewriting Induction Based on an Abstract Principle. Inf. Media Technol. 3 (2) (2008)
Takahito Aoto
Sound Lemma Generation for Proving Inductive Validity of Equations. FSTTCS (2008)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Program Transformation by Templates: A Rewriting Framework. Inf. Media Technol. 2 (1) (2007)
Takahito Aoto
Dealing with Non-orientable Equations in Rewriting Induction. RTA (2006)
Yuki Chiba, Takahito Aoto
RAPT: A Program Transformation System Based on Term Rewriting. RTA (2006)
Takahito Aoto, Toshiyuki Yamada
Dependency Pairs for Simply Typed Term Rewriting. RTA (2005)
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
Program transformation by templates based on term rewriting. PPDP (2005)
Takahito Aoto, Toshiyuki Yamada, Yoshihito Toyama
Inductive Theorems for Higher-Order Rewriting. RTA (2004)
Takahito Aoto, Toshiyuki Yamada
Termination of Simply Typed Term Rewriting by Translation and Labelling. RTA (2003)
Takahito Aoto
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems. J. Funct. Log. Program. 2001 (11) (2001)
Takahito Aoto
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. J. Log. Lang. Inf. 8 (2) (1999)
Takahito Aoto, Hiroyuki Shirasu
On the Finite Model Property of Intuitionistic Modal Logics over MIPC. Math. Log. Q. 45 (1999)
Takahito Aoto
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems. PLILP/ALP (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)