Nominal Unification of Higher order Expressions with Recursive Let

Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation

Name	RISC Report Series
Nr.	16-03

Wissenschaftszweige

@techreport{ee5a7df8a8d54576aa015cf7542d554d,

title = "Nominal Unification of Higher order Expressions with Recursive Let",

author = "Manfred Schmidt-Schauss and Teimuraz Kutsia and Jordi Levy and Mateu Villaret",

year = "2016",

language = "English",

series = "RISC Report Series",

publisher = "RISC, JKU",

number = "16-03",

type = "WorkingPaper",

institution = "RISC, JKU",

}