Art

J-GLOBAL ID：201602292201647039   Reference number：16A1365740

帰納的述語定義を含む分離論理における循環証明による半自動証明

Author (2)： NAKADA SOSUKE (名古屋大 大学院情報科学研究科) ,  NAKAZAWA KOJI (名古屋大 大学院情報科学研究科)
Material： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
Volume： 33rd  Page： ROMBUNNO.PPL4-2  Publication year： 2016 
JST Material Number： X0080B  ISSN： 1348-0901  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *program verification ,  logical function ,  logical operation ,  *predicative logic ,  recursive function ,  inductive inference ,  proof (evidence) ,  Automation ,  visualization ,  logic formula ,  modification
Semi thesaurus term： inductive inference ,  predicate ,  separation logic ,  theorem automatic proving

JST classification (2)： Theory of computation  (JB02000A) ,  Logic algebra  (JB03000H)

Terms in the title (5)： 述語 ,  定義 ,  分離論理 ,  循環 ,  証明