Unranked Second-Order Anti-Unification

Research output: Working paper and reports › Preprint

Original language	English
Place of Publication	Hagenberg, Linz
Publisher	RISC, Johannes Kepler University
Number of pages	35
Publication status	Published - Mar 2014

Name	RISC Technical Reports
No.	14-05

Fields of science

@techreport{f11499c9911a4641b11bff3372cef286,

title = "Unranked Second-Order Anti-Unification",

author = "Alexander Baumgartner and Teimuraz Kutsia",

year = "2014",

month = mar,

language = "English",

series = "RISC Technical Reports",

publisher = "RISC, Johannes Kepler University",

number = "14-05",

type = "WorkingPaper",

institution = "RISC, Johannes Kepler University",

}