Seol mar théacs é seo: On the Computability of Region−Based Euclidean Logics