%0 Conference Paper %1 conf/dlt/KoNP18 %A Ko, Sang-Ki %A Niskanen, Reino %A Potapov, Igor %B DLT %D 2018 %E Hoshi, Mizuho %E Seki, Shinnosuke %I Springer %K matrixsystems reachability %P 465-477 %T Reachability Problems in Nondeterministic Polynomial Maps on the Integers. %U http://dblp.uni-trier.de/db/conf/dlt/dlt2018.html#KoNP18 %V 11088 %@ 978-3-319-98654-8

@inproceedings{conf/dlt/KoNP18, added-at = {2020-10-21T17:17:11.000+0200}, author = {Ko, Sang-Ki and Niskanen, Reino and Potapov, Igor}, biburl = {https://www.bibsonomy.org/bibtex/2cb2dee029f8866eb1015ae6c52f6dc11/paves_intern}, booktitle = {DLT}, crossref = {conf/dlt/2018}, editor = {Hoshi, Mizuho and Seki, Shinnosuke}, ee = {https://doi.org/10.1007/978-3-319-98654-8_38}, interhash = {68675cb4ffd9a1e7b4fb66df011ec6c5}, intrahash = {cb2dee029f8866eb1015ae6c52f6dc11}, isbn = {978-3-319-98654-8}, keywords = {matrixsystems reachability}, pages = {465-477}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-21T17:17:11.000+0200}, title = {Reachability Problems in Nondeterministic Polynomial Maps on the Integers.}, url = {http://dblp.uni-trier.de/db/conf/dlt/dlt2018.html#KoNP18}, volume = 11088, year = 2018 }