Show simple item record

dc.contributor.authorCaminada, Martinus Wigbertus Antonius
dc.date.accessioned2014-10-30T09:43:01Z
dc.date.available2014-10-30T09:43:01Z
dc.date.issued2014-04
dc.identifier.citationCaminada , M W A 2014 ' Strong Admissibility Revisited (proofs) ' Technical Report Series , no. ABDN–CS–14–CAM01 , University of Aberdeen , Aberdeen .en
dc.identifier.otherPURE: 43201172
dc.identifier.otherPURE UUID: 630fb7a9-3409-4d5e-8a44-7ebe129d8bc1
dc.identifier.urihttp://hdl.handle.net/2164/3787
dc.language.isoeng
dc.publisherUniversity of Aberdeen
dc.relation.ispartofseriesTechnical Report Seriesen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleStrong Admissibility Revisited (proofs)en
dc.typeWorking or discussion paperen
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.description.versionPostprinten


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record