Art
J-GLOBAL ID：201302292387471907   Reference number：13A0003308

Principles of proof scores in CafeOBJ

CafeOBJにおける証明スコアの原則
Author (3)：
FUTATSUGI Kokichi

About FUTATSUGI Kokichi

(Japan Advanced Inst. of Sci. and Technol., Ishikawa, JPN)

About Japan Advanced Inst. of Sci. and Technol., Ishikawa, JPN

, 
GAINA Daniel

About GAINA Daniel

(Japan Advanced Inst. of Sci. and Technol., Ishikawa, JPN)

About Japan Advanced Inst. of Sci. and Technol., Ishikawa, JPN

, 
OGATA Kazuhiro

About OGATA Kazuhiro

(Japan Advanced Inst. of Sci. and Technol., Ishikawa, JPN)

About Japan Advanced Inst. of Sci. and Technol., Ishikawa, JPN


Material：
Theoretical Computer Science  (Theoretical Computer Science Part B. Logic, Semantics and Theory of Programming)

About Theoretical Computer Science


Volume： 464  Page： 90-112  Publication year： 2012 
JST Material Number： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  Document type： Article
Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
証明

About 証明

, 
スコア

About スコア

, 
原則

About 原則


Return to Previous Page

TOP

BOTTOM