Export 1 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: First Letter Of Title is N and Autor 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.