Anfonwch hwn fel neges destun: On the Computability of Region−Based Euclidean Logics