Anti-Unification Algorithms: Design, Analysis, and Implementation

Alexander Baumgartner

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	15-17

Fields of science

@techreport{51f72adc856249a883eb87de5daf2283,

title = "Anti-Unification Algorithms: Design, Analysis, and Implementation",

author = "Alexander Baumgartner",

year = "2015",

month = sep,

language = "English",

series = "RISC Report Series",

publisher = "RISC, JKU",

number = "15-17",

type = "WorkingPaper",

institution = "RISC, JKU",

}