CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

算譜科学研究速報 (テクニカルレポート)

CVSでは、テクニカルレポートの他、書籍も出版しております。こちらもご覧ください。


   2010年   2009年   2008年   2007年   2006年   2005年   2004年   2003年   2001年

2002年

PS-2002-010
Toshinori Takai, Hideyuki Seki, Youhei Fujinaka, Yuichi Kaji
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property
2002年12月 [PDF]pdf 217KB

PS-2002-009
Toshinori Takai, Hiroyuki Seki, Yuichi Kaji
Right-Linear Finite Path Overlapping Rewrite Systems Effectively Preserve Recognizability
2002年12月 [PDF] pdf 276KB

PS-2002-008
Hitoshi Furusawa, Yoshiki Kinoshita
Essentially Algebraic Structure for Kleene Algebra with Tests and Its Application
2002年9月 [PDF] pdf 123KB

PS-2002-007
木下佳樹、古澤仁
テスト付きクリーニ代数の準代数構造
2002年 8月 [PDF]pdf 389KB

PS-2002-006
Hitoshi Ohsaki, Toshinori Takai
A Tree Automata Theory for Unification Modulo Equational Rewriting
2002年7月 [PDF] pdf 184KB

PS-2002-005
木下佳樹
不動点をめぐる代数構造たち
2002年 5月 [PDF]pdf 103KB

PS-2002-004
Hitoshi Ohsaki, Toshinori Takai
Decidability and Closure Properties of Equational Tree Languages
2002年5月  [PDF]pdf 216KB

PS-2002-003
Koichi Takahashi
Abstraction and Search in Verification by State Exploration
2002年5月 [PDF]pdf 539KB

PS-2002-002
Koichi Takahashi, Masami Hagiya
Formal Proof of Abstract Model Checking of Concurrent Garbage Collection
2002年5月 [PDF]pdf 112KB

PS-2002-001
Hitoshi Ohsaki, Toshinori Takai
Decidability and Closure Properties for Computation on Equational Tree Languages
2002年3月 [PDF] pdf 303KB

産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.