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]
@inproceedings{SuzukiK0T16,
title = {Critical Pair Analysis in Nominal Rewriting},
author = {Takaki Suzuki and Kentaro Kikuchi and Takahito Aoto 0001 and Yoshihito Toyama},
year = {2016},
url = {http://www.easychair.org/publications/paper/Critical_Pair_Analysis_in_Nominal_Rewriting},
researchr = {https://researchr.org/publication/SuzukiK0T16},
cites = {0},
citedby = {0},
pages = {156-168},
booktitle = {7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016},
editor = {James H. Davenport and Fadoua Ghourabi},
volume = {39},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}