On the Church-Rosser Property for the direct sum of Term Rewriting Systems(Lambda Calculus and Computer Science Theory)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク