A Verified Efficient Implementation of the Weighted Path Order

From MaRDI portal


MaRDI QIDQ7361076FDO


Authors René Thiemann, Elias Wenninger

Publication date 1 June 2023



Cites work





This page was built for software: A Verified Efficient Implementation of the Weighted Path Order

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_Verified_Efficient_Implementation_of_the_Weighted_Path_Order&oldid=105362243"
Powered by MediaWiki