RRPDB_REPOSITORY_J
研究成果発表データベース
検索画面


検索キー 年度=2001 発表者名, 所属部署名=情報科学連携研究体

検索結果 (19件HIT)
前へ  1  次へ 

成果分類 題目 発表者 発表年月
 誌上発表   Termination property
of inverse finite path overlapping term rewriting system 
 高井 利憲、他  2002.03 詳細
 口頭発表   Layered Transducing Term Rewriting System and Its Recognizability Preserving Property   高井 利憲  2002.03 詳細
 口頭発表   Category theoretical aspects of Kle   木下 佳樹  2002.03 詳細
 口頭発表   Petri Nets, Term Rewriting and Tree Automata   大崎 人士  2002.03 詳細
 口頭発表   多重変換項書換系と正則保存性について   藤中洋平、他  2002.02 詳細
 誌上発表   Crispness in Dedekind Categories   河原康雄、他  2001.12 詳細
 口頭発表   Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories   大崎 人士  2001.11 詳細
 口頭発表   並列ごみ集めの抽象モデル検査の形式的証明   高橋 孝一、他  2001.10 詳細
 口頭発表   μ圏の射の行列表現   木下佳樹  2001.10 詳細
 口頭発表   クリーニ圏について   木下佳樹  2001.10 詳細
 口頭発表   Equational Tree Automata, Theory (Part1) and Appications(Part2)   大崎 人士  2001.09 詳細
 口頭発表   Equational Tree Automata, Theory (Part1) and Appications(Part2),   大崎 人士  2001.09 詳細
 誌上発表   Beyond Regularity: Equational Tree Automata for Associative and Commutative Th
eories 
 大崎 人士  2001.09 詳細
 口頭発表   並列GCの抽象モデル検査に必要な条件の形式的証明   高橋 孝一  2001.09 詳細
 口頭発表   Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories   Ohsaki Hitoshi  2001.09 詳細
 口頭発表   決定可能な書換え単一化可能性問題に関する考察   高井利憲  2001.09 詳細
 口頭発表   不動点をめぐる代数構造たち   木下佳樹  2001.09 詳細
 口頭発表   On the Hoare-He-Sanders' Completeness Result in Refinement:Reconstruction and Extension   Furusawa Hitoshi  2001.07 詳細
 誌上発表   標数2のある体上の代数方程式の求解   藤田博征、他  2001.05 詳細
前へ  1  次へ 
問い合わせ先: aist-seikadb-ml@aist.go.jp