ADVENTAR

Term Rewriting Systems Advent Calendar 2016

作成者:unsolvedprobrem

登録状況:1/25人

Term Rewriting Systemsに関するエントリを募集します.
TRSに関係する内容ならば理論の紹介のみならず「こんなツールがあるよ」「こんなのを作ったよ」というようなのも歓迎です!

12/25unsolvedprobrem
MaxcompをC++に移植しました(予定)