Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs

Kazuhiro Ogata, Kokichi Futatsugi. Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs. In Shusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Volume 8373 of Lecture Notes in Computer Science, pages 630-656, Springer, 2014. [doi]

Abstract

Abstract is missing.