Export 1 results:
Autor Título Tipo [ Año(Asc)]
Filtros: Autor is Manfred Schmidt-Schauß  [Clear All Filters]
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.