TRAM

swMATH3369MaRDI QIDQ15901FDOQ15901

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: TRAM