Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems

スポンサーリンク

概要

著者

関連論文

スポンサーリンク