Undecidability Results on Orienting Single Rewrite Rules

From MaRDI portal


MaRDI QIDQ7361063FDO


Authors René Thiemann, Fabian Mitterwallner, Aart Middeldorp

Publication date 25 April 2024



Cites work





This page was built for software: Undecidability Results on Orienting Single Rewrite Rules

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