Yunus D. K. Kutz

According to our database, Yunus D. K. Kutz authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Nominal Unification and Matching of Higher Order Expressions with Recursive Let.

Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz

Fundam. Informaticae, 2022

2020

Rewriting with generalized nominal unification.

Yunus D. K. Kutz, Manfred Schmidt-Schauß

Math. Struct. Comput. Sci., 2020

Nominal Unification with Letrec and Environment-Variables.

Manfred Schmidt-Schauß, Yunus D. K. Kutz

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Nominal unification with atom-variables.

Manfred Schmidt-Schauß, David Sabel, Yunus D. K. Kutz

J. Symb. Comput., 2019