1,798 followers
RT @silasolla: Abstract Rewriting の基本的な話については,Advanced Topics in Term Rewriting に色々載っていますね. https://t.co/zD32o5pqlR
RT @silasolla: Abstract Rewriting の基本的な話については,Advanced Topics in Term Rewriting に色々載っていますね. https://t.co/zD32o5pqlR
RT @silasolla: Abstract Rewriting の基本的な話については,Advanced Topics in Term Rewriting に色々載っていますね. https://t.co/zD32o5pqlR