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     2001    

2002

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

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

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

PS-2002-007
Yoshiki Kinoshita, Hitoshi Furusawa
Essentially algebraic structure for Kleene algebra with tests (in Japanese)
Aug. 2002 [pdf] 389KB

PS-2002-006
Hitoshi Ohsaki, Toshinori Takai
A Tree Automata Theory for Unification Modulo Equational Rewriting
Jul. 2002 [pdf] 184KB

PS-2002-005
Yoshiki Kinoshita
Algebraic Structures for Fixpoints (in Japanese)
May 2002 [pdf] 103KB

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

PS-2002-003
Koichi Takahashi
Abstraction and Search in Verification by State Exploration
May 2002 [pdf] 539KB

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

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

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