本を読むということ von 外山, 芳人

Volltext

書き換え規則の重なりに基づく到達可能性判定法 von 島貫, 健太郎, 青戸, 等人, 外山, 芳人

Volltext

項書き換えシステムの変換を利用した帰納的定理自動証明 von 佐藤, 洸一, 菊池, 健太郎, 青戸, 等人, 外山, 芳人

Volltext

書き換え帰納法に基づく帰納的定理の決定可能性 von 中嶋, 辰成, 青戸, 等人, 外山, 芳人

Volltext

ボトムアップ最内項書き換えシステムの最内到達可能性 von 高橋, 翔大, 青戸, 等人, 外山, 芳人

Volltext

片側減少ダイアグラム法による項書き換えシステムの可換性証明法 von 的場, 正樹, 青戸, 等人, 外山, 芳人

Volltext

永続性に基づく項書き換えシステムの合流性証明 von 鈴木, 翼, 青戸, 等人, 外山, 芳人

Volltext

多項式サイズ正規形を保証する項書き換えシステムの経路順序 von 磯部, 耕己, 青戸, 等人, 外山, 芳人

Volltext

反証機能付き書き換え帰納法のための補題自動生成法 von 嶌津, 聡志, 青戸, 等人, 外山, 芳人

Volltext

項書き換えシステムの合流性自動判定 von 吉田, 順一, 青戸, 等人, 外山, 芳人

Volltext

第11回 書き換え技法と応用国際会議 (RTA2000) 参加報告 von 外山, 芳人

Volltext

Commutativity of Term Rewriting Systems based on One Side Decreasing Diagrams von MATOBA, Masaki, AOTO, Takahito, TOYAMA, Yoshihito

Volltext

潜在帰納法と書換え帰納法の比較 von 小池, 広高, 外山, 芳人

Volltext

A Path Ordering for Term Rewriting Systems with Polynomial Size Normal Forms von ISOBE, Kouki, AOTO, Takahito, TOYAMA, Yoshihito

Volltext

Automated Lemma Generation for Rewriting Induction with Disproof von SHIMAZU, Satoshi, AOTO, Takahito, TOYAMA, Yoshihito

Volltext

書き換え帰納法による帰納的定理の決定手続き von 外山, 芳人

Volltext

Automating Confluence Check of Term Rewriting Systems von YOSHIDA, Junichi, AOTO, Takahito, TOYAMA, Yoshihito

Volltext

第8回自動演繹国際会議の報告 von 外山, 芳人

Volltext

パターンに基づくプログラム変換システム von 千葉, 勇輝, 青戸, 等人, 外山, 芳人

Volltext

書き換え帰納法に基づくプログラム融合変換 von 坂本, 邦彦, 青戸, 等人, 外山, 芳人

Volltext