activity
20102026
most citedNominal Unification of Higher Order Expressions with Recursive Let

17 citations · 46 across the 16 of their papers we have counts for

collaborators
Showing 2021 · cs.SCShow all

1 paper · 2 filters

cs.SC2021

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science

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…