DxTer

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ1354162swMATHFDO

Official website https://www.cs.utexas.edu/users/flame/pubs/DxTerSearchTR.pdf

Source code repository https://github.com/DxTer-project/dxter

Cited in

(3)

This page was built for software: DxTer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=DxTer&oldid=56427144"