RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in the frame of project 'Symbolic Computation Techniques for Unranked Terms '		Publications in the frame of project 'Symbolic Computation Techniques for Unranked Terms '		Technical Reports in the frame of project 'Symbolic Computation Techniques for Unranked Terms '

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]

All Years >>

---

webmaster