dc.contributor.author | TZEVELEKOS, NP | en_US |
dc.contributor.author | Murawski, AS | en_US |
dc.contributor.author | Ramsay, SJ | en_US |
dc.contributor.author | Mathematical Foundations of Computer Science | en_US |
dc.date.accessioned | 2018-09-14T15:44:03Z | |
dc.date.available | 2018-06-13 | en_US |
dc.date.submitted | 2018-07-05T11:44:34.086Z | |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/44616 | |
dc.rights | licensed under Creative Commons License CC-BY | |
dc.title | Polynomial-time equivalence testing for deterministic fresh-register automata | en_US |
dc.type | Conference Proceeding | |
dc.rights.holder | © Andrzej S. Murawski, Steven J. Ramsay, and Nikos Tzevelekos | |
pubs.notes | Not known | en_US |
pubs.publication-status | Accepted | en_US |
dcterms.dateAccepted | 2018-06-13 | en_US |
qmul.funder | System-Level Game Semantics: A unifying framework for composing systems::Engineering and Physical Sciences Research Council | en_US |