Aart Middeldorp

Undecidability Results on Orienting Single Rewrite Rules

by René Thiemann 🌐, Fabian Mitterwallner and Aart Middeldorp 🌐