Showing 13 items.
| Date of Issue | Title |
Authors |
|---|
| 11-Aug-1994 | Uniqueness of normal proofs in {→,∧}-fragment of NJ | Aoto, Takahito; Ono, Hiroakira |
| 30-Aug-1995 | Unique normal proof property for implicational minimal formulas in the intuitionistic logic | Aoto, Takahito; 青戸, 等人; アオト, タカヒト |
| 19-Aug-1996 | Top-down labelling and modularity of term rewriting systems | Aoto, Takahito; Toyama, Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト |
| 29-Aug-1996 | Extending persistency of confluence with ordered sorts | Aoto, Takahito; Toyama, Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト |
| 1-Aug-1997 | Tree lifting orderings for termination transformations of term rewriting systems | Aoto, Takahito; Toyama, Yoshihito |
| 30-Jan-1998 | On the finite model property of intuitionistic modal logics over MIPC | Aoto, Takahito |
| 20-Feb-1998 | A proof of the conjecture of zantema on a persistent property of term rewriting systems | Aoto, Takahito |
| 4-Dec-1998 | Decidable/undecidable properties of conditional term rewriting systems | Aoto, Takahito; Nagaya, Takashi |
| 2006 | RAPT : A Program Transformation System based on Term Rewriting | Chiba, Yuki; Aoto, Takahito |
| 15-Jan-2008 | Automatic Construction of Program Transformation Templates | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 1-May-2010 | Program Transformation Templates for Tupling Based on Term Rewriting | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 26-Apr-2011 | Natural Inductive Theorems for Higher-Order Rewriting | Aoto, Takahito; Yamada, Toshiyuki; Chiba, Yuki |
| 2018 | Confluence Competition 2018 | Aoto, Takahito; Hamana, Makoto; Hirokawa, Nao; Middeldorp, Aart; Nagele, Julian; Nishida, Naoki; Shintani, Kiraku; Zankl, Harald |
