3,252 followers Ryoma Sin'ya @sinya8282 Automata and Logics for Words and Trees over an Infinite Alphabet https://t.co/gZuMNelyBH 23 Jun 2016 Reply Repost Favourite