Rchr
J-GLOBAL ID：200901024148854798   Update date: Apr. 26, 2020

Takeyama Makoto

タケヤマ マコト | Takeyama Makoto
Affiliation and department：
National Institute of Advanced Industrial Science and Technology

About National Institute of Advanced Industrial Science and Technology


Homepage URL  (1)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=M06216606
MISC (7)：
  • Algebraic Structure for a Fixed Point Logic and Abstract Interpretation. 算譜科学研究速報 (Programming Science Technical Report). 2005
  • PVSの紹介. 算譜科学研究速報 (Programming Science Technical Report). 2005
  • Verification of Transition System Reduction via PVS. 算譜科学研究速報. 2005
  • 対話型証明支援ツール PVSの紹介. コンピュータソフトウェア. 2005. 22. 3. 37-57
  • Verification of Transition System Reduction via PVS. コンピュータソフトウェア. 2005. 22. 3. 134-145
ｍore...
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM