Termination Proofs for Logic Programs with Tabling

Verbaeten, S; Schreye, D; Sagonas, K

dc.contributor.author	Verbaeten, S	en
dc.contributor.author	Schreye, D	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T01:49:37Z
dc.date.available	2014-03-01T01:49:37Z
dc.date.issued	2000	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/25863
dc.relation.uri	http://arxiv.org/abs/cs.LO/0003045	en
dc.relation.uri	http://www.informatik.uni-trier.de/~ley/db/journals/corr/corr0003.html#cs-LO-0003045	en
dc.subject	Logic Programs	en
dc.title	Termination Proofs for Logic Programs with Tabling	en
heal.type	journalArticle	en
heal.publicationDate	2000	en
heal.journalName	Computing Research Repository	en