Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications

Specification, Algebra, and Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54624-2_5 ◽

2014 ◽

pp. 92-109 ◽

Author(s):

Masaki Nakamura ◽

Kazuhiro Ogata ◽

Kokichi Futatsugi

Download Full-text