Naoki Nishida, Masahiko Sakai. Proving Injectivity of Functions via Program Inversion in Term Rewriting. In Matthias Blume, Naoki Kobayashi, Germán Vidal, editors, Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Volume 6009 of Lecture Notes in Computer Science, pages 288-303, Springer, 2010. [doi]
@inproceedings{NishidaS10,
title = {Proving Injectivity of Functions via Program Inversion in Term Rewriting},
author = {Naoki Nishida and Masahiko Sakai},
year = {2010},
doi = {10.1007/978-3-642-12251-4_21},
url = {http://dx.doi.org/10.1007/978-3-642-12251-4_21},
tags = {term rewriting, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/NishidaS10},
cites = {0},
citedby = {0},
pages = {288-303},
booktitle = {Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings},
editor = {Matthias Blume and Naoki Kobayashi and Germán Vidal},
volume = {6009},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-12250-7},
}