TRAM

MaRDI QIDQ15901swMATHFDO

Official website http://link.springer.com/chapter/10.1007/BFb0002874

Cited in

(2)

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

This page was built for software: TRAM