Proceedings of the 28th International Workshop on Unification, UNIF 2014

Teimuraz Kutsia, Christophe Ringeissen

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	14-06

Fields of science

@techreport{fb5e7ae5478148bb9cb35928c6827b91,

title = "Proceedings of the 28th International Workshop on Unification, UNIF 2014",

author = "Teimuraz Kutsia and Christophe Ringeissen",

year = "2014",

language = "English",

series = "RISC Report Series",

publisher = "RISC Hagenberg",

number = "14-06",

type = "WorkingPaper",

institution = "RISC Hagenberg",

}