Publications

Finkel et al, 2013

Summary

Alain Finkel, Stefan Göller, and Christoph Haase (2013) Reachability in Register Machines with Polynomial Updates MFCS 2013 Krishnendu Chatterjee and Ji\vrí Sgall Springer 409–420 (URL)

BibTeX entry

@INPROCEEDINGS { FGH-mfcs13,
    LOCATION = { Klosterneuburg, Austria },
    AUTHOR = { Finkel, Alain and G{\"o}ller, Stefan and Haase, Christoph },
    BOOKTITLE = { MFCS 2013 },
    CONFNUM = { 38th },
    CONFNAME = { International Symposium on Mathematical Foundations of Computer Science },
    DOI = { 10.1007/978-3-642-40313-2_37 },
    EDITOR = { Chatterjee, Krishnendu and Sgall, Ji{\v r}{\'\i} },
    MONTH = { },
    PAGES = { 409--420 },
    PUBLISHER = { Springer },
    SERIES = { },
    TITLE = { Reachability in Register Machines with Polynomial Updates },
    VOLUME = { 8087 },
    YEAR = { 2013 },
}