{"year":"1989","page":"343-350","_id":"19818","citation":{"mla":"Kleine Büning, Hans, et al. “Projections of Vector Addition System Reachability Sets Are Semilinear.” <i>Theoretical Computer Science</i>, 1989, pp. 343–50, doi:<a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">10.1016/0304-3975(89)90055-8</a>.","ieee":"H. Kleine Büning, T. Lettmann, and E. W. Mayr, “Projections of vector addition system reachability sets are semilinear,” <i>Theoretical Computer Science</i>, pp. 343–350, 1989.","bibtex":"@article{Kleine Büning_Lettmann_Mayr_1989, title={Projections of vector addition system reachability sets are semilinear}, DOI={<a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">10.1016/0304-3975(89)90055-8</a>}, journal={Theoretical Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}, year={1989}, pages={343–350} }","ama":"Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. <i>Theoretical Computer Science</i>. 1989:343-350. doi:<a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">10.1016/0304-3975(89)90055-8</a>","short":"H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.","apa":"Kleine Büning, H., Lettmann, T., &#38; Mayr, E. W. (1989). Projections of vector addition system reachability sets are semilinear. <i>Theoretical Computer Science</i>, 343–350. <a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">https://doi.org/10.1016/0304-3975(89)90055-8</a>","chicago":"Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections of Vector Addition System Reachability Sets Are Semilinear.” <i>Theoretical Computer Science</i>, 1989, 343–50. <a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">https://doi.org/10.1016/0304-3975(89)90055-8</a>."},"title":"Projections of vector addition system reachability sets are semilinear","publication":"Theoretical Computer Science","user_id":"315","language":[{"iso":"eng"}],"doi":"10.1016/0304-3975(89)90055-8","publication_status":"published","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"status":"public","author":[{"full_name":"Kleine Büning, Hans","last_name":"Kleine Büning","first_name":"Hans"},{"first_name":"Theodor","id":"315","last_name":"Lettmann","full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457"},{"first_name":"Ernst W.","last_name":"Mayr","full_name":"Mayr, Ernst W."}],"publication_identifier":{"issn":["0304-3975"]},"type":"journal_article","date_created":"2020-10-01T08:20:05Z","date_updated":"2022-01-06T06:54:13Z"}