Talks in the frame of project 'Symbolic Computation Techniques for Unranked Terms '
2015
Adel Bouhoula, Bruno Buchberger, Laura Kovacs, Temur Kutsia (ed.).Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.ISSN 0747-7171. [doi][bib]