3,118 followers Ryoma Sin'ya @sinya8282 The Inclusion Problem for Unambiguous Rational Trace Languages https://t.co/udRXAacCAC Holonomic 情報だ. 26 May 2019 Reply Repost Favourite