{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:38:28Z","timestamp":1743147508080,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030250263"},{"type":"electronic","value":"9783030250270"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-25027-0_4","type":"book-chapter","created":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:04:09Z","timestamp":1564617849000},"page":"49-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Winning Strategies for Streaming Rewriting Games"],"prefix":"10.1007","author":[{"given":"Christian","family":"Coester","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schwentick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Schuster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,10]]},"reference":[{"issue":"5","key":"4_CR1","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/s00778-007-0049-y","volume":"17","author":"S Abiteboul","year":"2008","unstructured":"Abiteboul, S., Benjelloun, O., Milo, T.: The active XML project: an overview. VLDB J. 17(5), 1019\u20131040 (2008)","journal-title":"VLDB J."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Bonifati, A., Cob\u00e9na, G., Manolescu, I., Milo, T.: Dynamic XML documents with distribution and replication. In: Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, pp. 527\u2013538. ACM (2003)","DOI":"10.1145\/872757.872821"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Milo, T., Benjelloun, O.: Regular rewriting of active XML and unambiguity. In: PODS, pp. 295\u2013303. ACM (2005)","DOI":"10.1145\/1065167.1065204"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2012.11.005","volume":"223","author":"B Aminof","year":"2013","unstructured":"Aminof, B., Legay, A., Murano, A., Serre, O., Vardi, M.Y.: Pushdown module checking with imperfect information. Inf. Comput. 223, 1\u201317 (2013). https:\/\/doi.org\/10.1016\/j.ic.2012.11.005","journal-title":"Inf. Comput."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Bj\u00f6rklund, H., Schuster, M., Schwentick, T., Kulbatzki, J.: On optimum left-to-right strategies for active context-free games. In: Joint 2013 EDBT\/ICDT Conferences, ICDT 2013 Proceedings, pp. 105\u2013116 (2013)","DOI":"10.1145\/2448496.2448510"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"162","DOI":"10.4204\/EPTCS.54.12","volume":"54","author":"Laura Bozzelli","year":"2011","unstructured":"Bozzelli, L.: New results on pushdown module checking with imperfect information. In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15\u201317 June 2011, pp. 162\u2013177 (2011). https:\/\/doi.org\/10.4204\/EPTCS.54.12","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1007\/3-540-45465-9_60","volume-title":"Automata, Languages and Programming","author":"T Cachat","year":"2002","unstructured":"Cachat, T.: Symbolic strategy synthesis for games on pushdown graphs. In: Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R., Hennessy, M. (eds.) ICALP 2002. LNCS, vol. 2380, pp. 704\u2013715. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45465-9_60"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Coester, C.: One-pass strategies for context-free games. Master\u2019s thesis, TU Dortmund (2015). https:\/\/doi.org\/10.17877\/DE290R-16466","DOI":"10.17877\/DE290R-16466"},{"key":"4_CR9","unstructured":"Coester, C., Schwentick, T., Schuster, M.: Streaming rewriting games: winning strategies and complexity. CoRR (2018). http:\/\/arxiv.org\/abs\/1804.10292"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Hol\u00edk, L., Meyer, R., Muskalla, S.: Summaries for context-free games. In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, Chennai, India, 13\u201315 December 2016, pp. 41:1\u201341:16 (2016). https:\/\/doi.org\/10.4230\/LIPIcs.FSTTCS.2016.41","DOI":"10.4230\/LIPIcs.FSTTCS.2016.41"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1061318.1061319","volume":"30","author":"T Milo","year":"2005","unstructured":"Milo, T., Abiteboul, S., Amann, B., Benjelloun, O., Ngoc, F.D.: Exchanging intensional XML data. ACM Trans. Database Syst. 30(1), 1\u201340 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Schuster, M.: Transducer-based rewriting games for active XML. In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, Krak\u00f3w, Poland, 22\u201326 August 2016, pp. 83:1\u201383:13 (2016). https:\/\/doi.org\/10.4230\/LIPIcs.MFCS.2016.83","DOI":"10.4230\/LIPIcs.MFCS.2016.83"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/978-3-540-24749-4_40","volume-title":"STACS 2004","author":"A Muscholl","year":"2004","unstructured":"Muscholl, A., Schwentick, T., Segoufin, L.: Active context-free games. In: Diekert, V., Habib, M. (eds.) STACS 2004. LNCS, vol. 2996, pp. 452\u2013464. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24749-4_40"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00224-005-1278-3","volume":"39","author":"A Muscholl","year":"2006","unstructured":"Muscholl, A., Schwentick, T., Segoufin, L.: Active context-free games. Theory Comput. Syst. 39(1), 237\u2013276 (2006)","journal-title":"Theory Comput. Syst."},{"key":"4_CR15","unstructured":"Schuster, M., Schwentick, T.: Games for active XML revisited. In: 18th International Conference on Database Theory, ICDT 2015, pp. 60\u201375 (2015)"},{"issue":"6","key":"4_CR16","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S0020-0190(02)00445-3","volume":"85","author":"O Serre","year":"2003","unstructured":"Serre, O.: Note on winning positions on pushdown games with [omega]-regular conditions. Inf. Process. Lett. 85(6), 285\u2013291 (2003). https:\/\/doi.org\/10.1016\/S0020-0190(02)00445-3","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"4_CR17","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.2000.2894","volume":"164","author":"I Walukiewicz","year":"2001","unstructured":"Walukiewicz, I.: Pushdown processes: games and model-checking. Inf. Comput. 164(2), 234\u2013263 (2001). https:\/\/doi.org\/10.1006\/inco.2000.2894","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25027-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T13:23:58Z","timestamp":1710336238000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-25027-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030250263","9783030250270"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25027-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"10 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FCT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Fundamentals of Computation Theory","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fct0","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/di.ku.dk\/fct2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}