Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Manfred Schmidt-Schauß  [Clear All Filters]
2017
Schmidt-Schauß M, Kutsia T, Levy J, Villaret M.  2017.  Nominal Unification of Higher Order Expressions with Recursive Let. Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. LNCS 10184:328-344.