Claude Kirchner. Rho-Calculi for Computation and Logic (Invited Talk). In Ashish Tiwari, editor, 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan. Volume 15 of LIPIcs, pages 2-4, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]
@inproceedings{Kirchner12,
title = {Rho-Calculi for Computation and Logic (Invited Talk)},
author = {Claude Kirchner},
year = {2012},
doi = {10.4230/LIPIcs.RTA.2012.2},
url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2012.2},
researchr = {https://researchr.org/publication/Kirchner12},
cites = {0},
citedby = {0},
pages = {2-4},
booktitle = {23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan},
editor = {Ashish Tiwari},
volume = {15},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-38-5},
}