{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:36:19Z","timestamp":1725572179723},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540228233"},{"type":"electronic","value":"9783540286295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-28629-5_56","type":"book-chapter","created":{"date-parts":[[2010,12,17]],"date-time":"2010-12-17T17:59:50Z","timestamp":1292608790000},"page":"723-734","source":"Crossref","is-referenced-by-count":2,"title":["Decidability of Trajectory-Based Equations"],"prefix":"10.1007","author":[{"given":"Michael","family":"Domaratzki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Salomaa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"56_CR1","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1142\/S0129054102001461","volume":"13","author":"C. C\u00e2mpeanu","year":"2002","unstructured":"C\u00e2mpeanu, C., Salomaa, K., V\u00e1gv\u00f6lgyi, S.: Shuffle decompositions of regular languages. Int. J. Found. Comp. Sci.\u00a013, 799\u2013816 (2002)","journal-title":"Int. J. Found. Comp. Sci."},{"key":"56_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0304-3975(03)00139-7","volume":"306","author":"M. Daley","year":"2003","unstructured":"Daley, M., Ibarra, O., Kari, L.: Closure and decidability properties of some language classes with respect to ciliate bio-operations. Theor. Comp. Sci.\u00a0306, 19\u201338 (2003)","journal-title":"Theor. Comp. Sci."},{"key":"56_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.tcs.2004.02.031","volume":"320","author":"M. Domaratzki","year":"2004","unstructured":"Domaratzki, M.: Deletion along trajectories. Theor. Comp. Sci.\u00a0320, 293\u2013313 (2004)","journal-title":"Theor. Comp. Sci."},{"key":"56_CR4","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.1090\/S0002-9939-1966-0201310-3","volume":"17","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S., Spanier, E.: Bounded regular sets. Proc. Amer. Math. Soc.\u00a017, 1043\u20131049 (1966)","journal-title":"Proc. Amer. Math. Soc."},{"key":"56_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1137\/0207007","volume":"7","author":"H. Hunt","year":"1978","unstructured":"Hunt, H., Rosenkrantz, D.: Computational parallels between the regular and context-free languages. SIAM J. Comput.\u00a07, 99\u2013114 (1978)","journal-title":"SIAM J. Comput."},{"key":"56_CR6","first-page":"257","volume":"8","author":"M. Ito","year":"2002","unstructured":"Ito, M.: Shuffle decomposition of regular languages. J. Univ. Comp. Sci.\u00a08, 257\u2013259 (2002)","journal-title":"J. Univ. Comp. Sci."},{"key":"56_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0304-3975(94)90230-5","volume":"132","author":"L. Kari","year":"1994","unstructured":"Kari, L.: On language equations with invertible operations. Theor. Comp. Sci.\u00a0132, 129\u2013150 (1994)","journal-title":"Theor. Comp. Sci."},{"key":"56_CR8","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1080\/00207169408804288","volume":"52","author":"L. Kari","year":"1994","unstructured":"Kari, L.: Deletion operations: Closure properties. Intl. J. Comp. Math.\u00a052, 23\u201342 (1994)","journal-title":"Intl. J. Comp. Math."},{"key":"56_CR9","unstructured":"Kari, L., Sos\u00edk, P.: Language deletions on trajectories. Technical Report 606, Computer Science Department, University of Western Ontario (2003) (Submitted for publication)"},{"key":"56_CR10","first-page":"263","volume":"16","author":"L. Kari","year":"1995","unstructured":"Kari, L., Thierrin, G.: k-catenation and applications: k-prefix codes. J. Inf. Opt. Sci.\u00a016, 263\u2013276 (1995)","journal-title":"J. Inf. Opt. Sci."},{"key":"56_CR11","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1006\/jcss.1996.0082","volume":"53","author":"L. Kari","year":"1996","unstructured":"Kari, L., Thierrin, G.: Maximal and minimal solutions to language equations. J. Comp. Sys. Sci.\u00a053, 487\u2013496 (1996)","journal-title":"J. Comp. Sys. Sci."},{"key":"56_CR12","series-title":"Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2156-2","volume-title":"Language Equations","author":"E. Leiss","year":"1999","unstructured":"Leiss, E.: Language Equations. Monographs in Computer Science. Springer, Heidelberg (1999)"},{"key":"56_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00163-1","volume":"197","author":"A. Mateescu","year":"1998","unstructured":"Mateescu, A., Rozenberg, G., Salomaa, A.: Shuffle on trajectories: Syntactic constraints. Theor. Comp. Sci.\u00a0197, 1\u201356 (1998)","journal-title":"Theor. Comp. Sci."},{"key":"56_CR14","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1080\/00207169908804811","volume":"71","author":"A. Meduna","year":"1999","unstructured":"Meduna, A.: Middle quotients of linear languages. Intl. J. Comp. Math.\u00a071, 319\u2013335 (1999)","journal-title":"Intl. J. Comp. Math."},{"key":"56_CR15","doi-asserted-by":"crossref","unstructured":"Salomaa, A., Yu, S.: On the decomposition of finite languages. In: Rozenberg, G., Thomas, W. (eds.) Developments in Language Theory, pp. 22\u201331 (1999)","DOI":"10.1142\/9789812792464_0003"},{"key":"56_CR16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-3-642-59136-5_2","volume-title":"Handbook of Formal Languages","author":"S. Yu","year":"1997","unstructured":"Yu, S.: Regular languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a0I, pp. 41\u2013110. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28629-5_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:25:47Z","timestamp":1605759947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28629-5_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228233","9783540286295"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28629-5_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}