Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Englert, Matthias, Lazic, Ranko S and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2016) Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete. In: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016-7-5 - 2016-7-8, ’16, New York, NY, USA, July 5-8, 2016.

This list was generated on Sat Dec 30 09:29:32 2023 GMT.