Termination of logic programs via labelled term rewrite systems

M.G.J. Arts, H. Zantema

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995)
Plaats van productie	Amsterdam
Uitgeverij	Centrum voor Wiskunde en Informatica
Pagina's	22-33
ISBN van geprinte versie	90-6196-460-1
Status	Gepubliceerd - 1995

Citeer dit

@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",

}