textX

swMATH42381MaRDI QIDQ1352490FDOQ1352490

Author name not available (Why is that?)

Source code repository: https://github.com/textX/textX

Cited In (1)

• Term rewriting on GPUs

This page was built for software: textX