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 |
Αρχεία | Μέγεθος | Μορφότυπο | Προβολή |
---|---|---|---|
Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο. |