Report copyright - Decidable/Undecidable Properties of Conditional Term Title ...Theorem 3.1 $([3][10])$ One-step reductionis undecidable for CTRSs. It trivially follows from this theorem that convertibility,
Please pass captcha verification before submit form