Termination of logic programs via labelled term rewrite systems

M.G.J. Arts; H. Zantema

Termination of logic programs via labelled term rewrite systems

M.G.J. Arts, H. Zantema

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

Original language	English
Title of host publication	Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995)
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	22-33
ISBN (Print)	90-6196-460-1
Publication status	Published - 1995

Cite this

@inproceedings{c9b7ffca725f40a4b496bcd6a58236c9,

title = "Termination of logic programs via labelled term rewrite systems",

author = "M.G.J. Arts and H. Zantema",

year = "1995",

language = "English",

isbn = "90-6196-460-1",

pages = "22--33",

booktitle = "Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995)",

publisher = "Centrum voor Wiskunde en Informatica",

}

Termination of logic programs via labelled term rewrite systems. / Arts, M.G.J.; Zantema, H.
Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995). Amsterdam: Centrum voor Wiskunde en Informatica, 1995. p. 22-33.

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