An Abstract Machine for Computing the Well-Founded Semantics

DSpace/Manakin Repository

Show simple item record

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

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record