TRAM

swMATH3369MaRDI QIDQ15901FDOQ15901

Author name not available (Why is that?)

Cited In (1)

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

This page was built for software: TRAM