STORM

swMATH23070MaRDI QIDQ34854FDOQ34854

Author name not available (Why is that?)

Official website: doi:10.1007/3-540-59200-8_75

Cited In (1)

• Rewrite systems for natural, integral, and rational arithmetic

This page was built for software: STORM