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.identifier43201172
dc.identifier630fb7a9-3409-4d5e-8a44-7ebe129d8bc1
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.urihttp://hdl.handle.net/2164/3787
dc.format.extent182643
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


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record