Talks in the frame of project 'Generalization ALgorithms and Applications'
2022
Temur Kutsia, Andrew M. Marshall (ed.).Special issue of Annals of Mathematics and Artificial Intelligence on Theoretical and Practical Aspects of Unification.[bib]
2019
James H. Davenport, Temur Kutsia (ed.).Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.[bib]