%0 Conference Paper %1 conf/lics/EnglertLT16 %A Englert, Matthias %A Lazic, Ranko %A Totzke, Patrick %B LICS %D 2016 %E Grohe, Martin %E Koskinen, Eric %E Shankar, Natarajan %I ACM %K dblp %P 477-484 %T Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete. %U http://dblp.uni-trier.de/db/conf/lics/lics2016.html#EnglertLT16 %@ 978-1-4503-4391-6

@inproceedings{conf/lics/EnglertLT16, added-at = {2023-11-12T00:00:00.000+0100}, author = {Englert, Matthias and Lazic, Ranko and Totzke, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2517d8a0b6df01364e5f9f800bd083646/dblp}, booktitle = {LICS}, crossref = {conf/lics/2016}, editor = {Grohe, Martin and Koskinen, Eric and Shankar, Natarajan}, ee = {https://ieeexplore.ieee.org/document/8576391}, interhash = {d2be74e93e28ada671a5116bf32be79e}, intrahash = {517d8a0b6df01364e5f9f800bd083646}, isbn = {978-1-4503-4391-6}, keywords = {dblp}, pages = {477-484}, publisher = {ACM}, timestamp = {2024-04-10T20:03:35.000+0200}, title = {Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2016.html#EnglertLT16}, year = 2016 }