Fabian Mitterwallner

Undecidability Results on Orienting Single Rewrite Rules

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