Report - Automatic structures, Part 3pkowa/slides/bakh3.pdf · Bakh Khoussainov Automatic structures, Part 3. Rabin’s theorem Theorem (Rabin, 1968) 1 A relation R ⊆ P(T )n is definable

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form