Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama. Critical Pair Analysis in Nominal Rewriting. In James H. Davenport, Fadoua Ghourabi, editors, 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. Volume 39 of EPiC Series in Computing, pages 156-168, EasyChair, 2016. [doi]
Abstract is missing.