3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Temur Kutsia
This volume contains papers presented at the Ninth International Symposium on Symbolic Computation in Software Science, SCSS 2021. Symbolic Computation is the science of computing…