On the Finite Church-Rosser Property of Nonlinear Term Rewriting Systems(Preliminary report)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク