|
|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
著者: "Aoto, Takahito"
8 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 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 |
|
