Publications
Finkel et al, 2013
Summary
(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 },
}