Termination of logic using semantic unification

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Fifth International Workshop on Logic Program Synthesis and Transformation
Editors	M. Proietti
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	219-233
Number of pages	15
Publication status	Published - 1996

Keywords

@inproceedings{e428af63f4d54769bd614792766f8624,

title = "Termination of logic using semantic unification",

keywords = "Wiskunde en Informatica (WIIN)",

author = "T. Arts and H. Zantema",

year = "1996",

language = "Undefined/Unknown",

pages = "219--233",

editor = "M. Proietti",

booktitle = "Proceedings of the Fifth International Workshop on Logic Program Synthesis and Transformation",

publisher = "Springer",

}