CVS

center-name

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

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

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


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

2001年

PS-2001-005M
Toshinori Takai, Yuichi Kaji, Hiroyuki Seki
Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable
2001年11月 [PDF] pdf 208KB

PS-2001-004
大崎人士、木下佳樹、高井利憲、高橋孝一、古澤仁
リアクティブシステムの検証法
2001年10月 [PDF]pdf 1553KB

PS-2001-003
Koichi Takahashi, Masami Hagiya
Searching for Mutual Exclusion Algorithms using BDDs (Preliminary Version)
2001年4月 [PDF] pdf 110KB

PS-2001-002
Hitoshi Ohsaki
Beyond regularity: Equational Tree Automata for Associative and Commutative Theories
2001年4月 [PDF] pdf 290KB

PS-2001-001
Masami Hagiya, Yoshiki Kinoshita, A.John Power
Proceedings of the Workshop on Refinement and Abstraction (Preliminary Version)
2001年4月


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