Show simple item record

dc.contributor.authorGrigore, Ren_US
dc.contributor.authorTzevelekos, Nen_US
dc.date.accessioned2016-05-27T10:58:37Z
dc.date.available2016-02-17en_US
dc.date.issued2016en_US
dc.date.submitted2016-04-20T15:10:19.266Z
dc.identifier.issn1860-5974en_US
dc.identifier.other7
dc.identifier.other7
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/12585
dc.relation.ispartofLOGICAL METHODS IN COMPUTER SCIENCEen_US
dc.rights“The final publication is available at http://link.springer.com/chapter/10.1007/978-3-642-37075-5_2”
dc.subjectregister automataen_US
dc.subjectautomata over infinite alphabetsen_US
dc.subjectinfinite systems reachabilityen_US
dc.subjectfreshnessen_US
dc.subjectcounter automataen_US
dc.titleHISTORY-REGISTER AUTOMATAen_US
dc.typeArticle
dc.rights.holder© 2016 R. Grigore and N. Tzevelekos
dc.identifier.doi10.2168/LMCS-12(1:7)2016en_US
pubs.author-urlhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000374769600001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6aen_US
pubs.issue1en_US
pubs.notesNot knownen_US
pubs.organisational-group/Queen Mary University of London
pubs.organisational-group/Queen Mary University of London/Faculty of Science & Engineering
pubs.organisational-group/Queen Mary University of London/Faculty of Science & Engineering/Electronic Engineering and Computer Science - Staff
pubs.publication-statusPublisheden_US
pubs.volume12en_US
qmul.funderGame Semantics for Program Analysis::Royal Academy of Engineeringen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record