Aart Middeldorp

Homepages 🌐

http://cl-informatik.uibk.ac.at/~ami/

Entries

2024

Undecidability Results on Orienting Single Rewrite Rules

by René Thiemann, Fabian Mitterwallner and Aart Middeldorp

Apr 25

	
		OSZAR »