17 citations · 46 across the 16 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…
cs.LO2021★ 5 cited
Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy +2
A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in nondeterministic polynomial time. We also…