An Abstract Machine for Computing the Well-Founded Semantics

Sagonas, K; Swift, T; Warren, D

dc.contributor.author	Sagonas, K	en
dc.contributor.author	Swift, T	en
dc.contributor.author	Warren, D	en
dc.date.accessioned	2014-03-01T02:48:21Z
dc.date.available	2014-03-01T02:48:21Z
dc.date.issued	1996	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/33760
dc.relation.uri	http://www.informatik.uni-trier.de/~ley/db/conf/iclp/iclp96.html#SagonasSW96	en
dc.subject	Abstract Machine	en
dc.subject	Well Founded Semantics	en
dc.title	An Abstract Machine for Computing the Well-Founded Semantics	en
heal.type	conferenceItem	en
heal.publicationDate	1996	en
heal.journalName	International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming	en