AIST

center-name

 Research Highlights | Technical Reports | CVS Staff | Access | Inquiry | Home | AIST | Japanese

Programming Science Technical Report

Please contact us if you have any questions regarding the technical report(s) below by email.
TO: mail


2010     2009     2008     2007     2006     2005      2004     2003     2002     

2001

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

PS-2001-004
Hitoshi Osaki, Yoshiki Kinoshita, Toshinori Takai, Koichi Takahashi, Hitoshi Furusawa
Verification of Reactive Systems (in Japanese)
Oct. 2001 [pdf] 1553KB

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

PS-2001-002
Hitoshi Ohsaki
Beyond regularity: Equational Tree Automata for Associative and Commutative Theories
Apr. 2001 [pdf] 290KB

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

AIST > AIST organization > AIST laboratories > CVS
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.