Aart Middeldorp

Undecidability Results on Orienting Single Rewrite Rules

by René Thiemann, Fabian Mitterwallner and Aart Middeldorp