{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:49Z","timestamp":1750308769670,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,14]],"date-time":"2014-07-14T00:00:00Z","timestamp":1405296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ReacHard 11-BS02-001-01"],"award-info":[{"award-number":["ReacHard 11-BS02-001-01"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,14]]},"DOI":"10.1145\/2603088.2603129","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T13:21:45Z","timestamp":1406553705000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Non-elementary complexities for branching VASS, MELL, and extensions"],"prefix":"10.1145","author":[{"given":"Ranko","family":"Lazi\u0107","sequence":"first","affiliation":[{"name":"U. of Warwick, UK"}]},{"given":"Sylvain","family":"Schmitz","sequence":"additional","affiliation":[{"name":"LSV, ENS Cachan & CNRS & INRIA, France"}]}],"member":"320","published-online":{"date-parts":[[2014,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/504077.504081"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516512.1516515"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2518188"},{"key":"e_1_3_2_1_4_1","volume-title":"Alternating vector addition systems with states. Manuscript","author":"Courtois J.-B.","year":"2014","unstructured":"J.-B. Courtois and S. Schmitz . Alternating vector addition systems with states. Manuscript , 2014 . URL http:\/\/hal.inria.fr\/hal-00980878. J.-B. Courtois and S. Schmitz. Alternating vector addition systems with states. Manuscript, 2014. URL http:\/\/hal.inria.fr\/hal-00980878."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021843"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2012.04.002"},{"key":"e_1_3_2_1_7_1","volume-title":"FO2(<, +1, ~) on data trees, data tree automata and an extension of BVASS. Manuscript","author":"Dimino J.","year":"2013","unstructured":"J. Dimino , F. Jacquemard , and L. Segoufin . FO2(<, +1, ~) on data trees, data tree automata and an extension of BVASS. Manuscript , 2013 . URL http:\/\/hal.inria.fr\/hal-00769249. J. Dimino, F. Jacquemard, and L. Segoufin. FO2(<, +1, ~) on data trees, data tree automata and an extension of BVASS. Manuscript, 2013. URL http:\/\/hal.inria.fr\/hal-00769249."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.39"},{"key":"e_1_3_2_1_9_1","volume-title":"Horn programs, linear logic and vector games. Ann. Pure App. Logic, 75(1--2):107--135","author":"Kanovich M. I.","year":"1995","unstructured":"M. I. Kanovich . Petri nets , Horn programs, linear logic and vector games. Ann. Pure App. Logic, 75(1--2):107--135 , 1995 . M. I. Kanovich. Petri nets, Horn programs, linear logic and vector games. Ann. Pure App. Logic, 75(1--2):107--135, 1995."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2834"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275637"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422085.2422091"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2010.06.008"},{"key":"e_1_3_2_1_14_1","volume-title":"Decision problems for propositional linear logic. Ann. Pure App. Logic, 56(1--3):239--311","author":"Lincoln P.","year":"1992","unstructured":"P. Lincoln , J. Mitchell , A. Scedrov , and N. Shankar . Decision problems for propositional linear logic. Ann. Pure App. Logic, 56(1--3):239--311 , 1992 . P. Lincoln, J. Mitchell, A. Scedrov, and N. Shankar. Decision problems for propositional linear logic. Ann. Pure App. Logic, 56(1--3):239--311, 1992."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322271"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586501"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(78)90036-1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3115\/981732.981768"},{"key":"e_1_3_2_1_20_1","first-page":"514","volume-title":"ACL 2010","author":"Schmitz S.","year":"2010","unstructured":"S. Schmitz . On the computational complexity of dominance links in grammatical formalisms . In ACL 2010 , pages 514 -- 524 . ACL Press , 2010 . S. Schmitz. On the computational complexity of dominance links in grammatical formalisms. In ACL 2010, pages 514--524. ACL Press, 2010."},{"key":"e_1_3_2_1_21_1","volume-title":"Complexity hierarchies beyond Elementary. Manuscript","author":"Schmitz S.","year":"2013","unstructured":"S. Schmitz . Complexity hierarchies beyond Elementary. Manuscript , 2013 . URL http:\/\/arxiv.org\/abs\/1312.5686. S. Schmitz. Complexity hierarchies beyond Elementary. Manuscript, 2013. URL http:\/\/arxiv.org\/abs\/1312.5686."},{"key":"e_1_3_2_1_22_1","volume-title":"Implicational relevance logic is 2-ExpTime-complete","author":"Schmitz S.","year":"2014","unstructured":"S. Schmitz . Implicational relevance logic is 2-ExpTime-complete . In G. Dowek, editor, RTA-TLCA 2014 , LNCS. Springer , 2014. URL http:\/\/arxiv.org\/abs\/1402.0705. To appear. S. Schmitz. Implicational relevance logic is 2-ExpTime-complete. In G. Dowek, editor, RTA-TLCA 2014, LNCS. Springer, 2014. URL http:\/\/arxiv.org\/abs\/1402.0705. To appear."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586811"},{"key":"e_1_3_2_1_24_1","series-title":"Lect","first-page":"500","volume-title":"Logic Colloquium '98","author":"Urquhart A.","year":"2000","unstructured":"A. Urquhart . The complexity of linear logic with weakening. In S. Buss, P. Hajek, and P. Pudlak, editors, Logic Colloquium '98 , volume 13 of Lect . Notes in Logic, pages 500 -- 515 . ASL , 2000 . A. Urquhart. The complexity of linear logic with weakening. In S. Buss, P. Hajek, and P. Pudlak, editors, Logic Colloquium '98, volume 13 of Lect. Notes in Logic, pages 500--515. ASL, 2000."},{"issue":"1","key":"e_1_3_2_1_25_1","first-page":"217","article-title":"Karp-Miller trees for a branching extension of VASS","volume":"7","author":"Verma K. N.","year":"2005","unstructured":"K. N. Verma and J. Goubault-Larrecq . Karp-Miller trees for a branching extension of VASS . Disc. Math. Theor. Comput. Sci. , 7 ( 1 ): 217 -- 230 , 2005 . K. N. Verma and J. Goubault-Larrecq. Karp-Miller trees for a branching extension of VASS. Disc. Math. Theor. Comput. Sci., 7(1):217--230, 2005.","journal-title":"Disc. Math. Theor. Comput. Sci."}],"event":{"name":"CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Vienna Austria","acronym":"CSL-LICS '14"},"container-title":["Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603129","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2603088.2603129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:34Z","timestamp":1750278154000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,14]]},"references-count":24,"alternative-id":["10.1145\/2603088.2603129","10.1145\/2603088"],"URL":"https:\/\/doi.org\/10.1145\/2603088.2603129","relation":{},"subject":[],"published":{"date-parts":[[2014,7,14]]},"assertion":[{"value":"2014-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}