Picture for Temur Kutsia

Temur Kutsia

Anti-unification and Generalization: A Survey

Add code
Feb 02, 2023
Viaarxiv icon

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

Add code
Sep 06, 2021
Viaarxiv icon

Nominal Unification and Matching of Higher Order Expressions with Recursive Let

Add code
Feb 16, 2021
Figure 1 for Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Figure 2 for Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Figure 3 for Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Viaarxiv icon