{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:05Z","timestamp":1725497165738},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540754138"},{"type":"electronic","value":"9783540754145"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75414-5_5","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T06:22:54Z","timestamp":1196922174000},"page":"75-86","source":"Crossref","is-referenced-by-count":1,"title":["Tiling Recognizable Two-Dimensional Languages"],"prefix":"10.1007","author":[{"given":"Dora","family":"Giammarresi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1016\/j.tcs.2005.03.031","volume":"340","author":"M. Anselmo","year":"2005","unstructured":"Anselmo, M., Giammarresi, D., Madonia, M.: New Operators and Regular Expressions for two-dimensional languages over one-letter alphabet. Theoretical Computer Science\u00a0340(2), 408\u2013431 (2005)","journal-title":"Theoretical Computer Science"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Anselmo, M., Giammarresi, D., Madonia, M.: From determinism to non-determinism in recognizable two-dimensional languages. In: Proc. DLT 2007. LNCS, Springer, Heidelberg (to appear)","DOI":"10.1007\/978-3-540-73208-2_7"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Anselmo, M., Giammarresi, D., Madonia, M.: Tiling Automaton: a Computational Model for Recognizable Two-dimensional Languages. In: Proc. CIAA 2007, LNCS Springer, Heidelberg (to appear)","DOI":"10.1007\/978-3-540-76336-9_27"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1051\/ita:2006004","volume":"40","author":"M. Anselmo","year":"2006","unstructured":"Anselmo, M., Giammarresi, D., Madonia, M., Restivo, A.: Unambiguous Recognizable Two-dimensional Languages. RAIRO: Theoretical Informatics and Applications\u00a040(2), 227\u2013294 (2006)","journal-title":"RAIRO: Theoretical Informatics and Applications"},{"key":"5_CR5","unstructured":"Anselmo, M., Madonia, M.: Deterministic Two-dimensional Languages over One-letter Alphabet. In: Proc. CAI 2007. LNCS, Springer, Heidelberg (to appear)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Blum, M., Hewitt, C.: Automata on a two-dimensional tape. In: IEEE Symposium on Switching and Automata Theory, pp. 155\u2013160 (1967)","DOI":"10.1109\/FOCS.1967.6"},{"key":"5_CR7","unstructured":"Borchert, B., Reinhardt, K.: Deterministically and Sudoku-Deterministically Recognizable Picture Languages: http:\/\/www-fs.informatik.uni-tuebingen.de\/borchert\/papers\/Borchert-Reinhardt_2006_Sudoku.pdf"},{"key":"5_CR8","unstructured":"Bozapalidis, S., Grammatikopoulou, A.: Recognizable picture series, Journal of Automata, Languages and Combinatorics, special vol. Weighted Automata (2004)"},{"key":"5_CR9","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1974","unstructured":"Eilenberg, S.: Automata, Languages and Machines, vol.\u00a0A. Academic Press, London (1974)"},{"issue":"2&3","key":"5_CR10","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1142\/S021800149200014X","volume":"6","author":"D. Giammarresi","year":"1992","unstructured":"Giammarresi, D., Restivo, A.: Recognizable picture languages. Int. Journal Pattern Recognition and Artificial Intelligence\u00a06(2&3), 241\u2013256 (1992)","journal-title":"Int. Journal Pattern Recognition and Artificial Intelligence"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-642-59126-6_4","volume-title":"Handbook of Formal Languages","author":"D. Giammarresi","year":"1997","unstructured":"Giammarresi, D., Restivo, A.: Two-dimensional languages. In: Rozenberg, G., et al. (eds.) Handbook of Formal Languages, vol.\u00a0III, pp. 215\u2013268. Springer, Heidelberg (1997)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1006\/inco.1996.0018","volume":"125","author":"D. Giammarresi","year":"1996","unstructured":"Giammarresi, D., Restivo, A., Seibert, S., Thomas, W.: Monadic second order logic over pictures and recognizability by tiling systems. Information and Computation\u00a0125, 32\u201345 (1996)","journal-title":"Information and Computation"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(77)90023-8","volume":"13","author":"K. Inoue","year":"1977","unstructured":"Inoue, K., Nakamura, A.: Some properties of two-dimensional on-line tessellation acceptors. Information Sciences\u00a013, 95\u2013121 (1977)","journal-title":"Information Sciences"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Parallel Image Analysis","author":"K. Inoue","year":"1992","unstructured":"Inoue, K., Takanami, I.: A characterization of recognizable picture languages. In: Nakamura, A., Saoudi, A., Inoue, K., Wang, P.S.P., Nivat, M. (eds.) ICPIA 1992. LNCS, vol.\u00a0654, Springer, Heidelberg (1992)"},{"issue":"5-6","key":"5_CR15","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1023\/A:1023027932419","volume":"91","author":"K. Lindgren","year":"1998","unstructured":"Lindgren, K., Moore, C., Nordahl, M.: Complexity of two-dimensional patterns. Journal of Statistical Physics\u00a091(5-6), 909\u2013951 (1998)","journal-title":"Journal of Statistical Physics"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BFb0023466","volume-title":"STACS 1997","author":"O. Matz","year":"1997","unstructured":"Matz, O.: Regular expressions and Context-free Grammars for picture languages. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol.\u00a01200, pp. 283\u2013294. Springer, Heidelberg (1997)"},{"key":"5_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053551","volume-title":"Foundations of Software Science and Computation Structures","author":"O. Matz","year":"1998","unstructured":"Matz, O.: On piecewise testable, starfree, and recognizable picture languages. In: Nivat, M. (ed.) Foundations of Software Science and Computation Structures, vol.\u00a01378, Springer, Berlin (1998)"},{"key":"5_CR18","series-title":"IEEE Symposium on Logic in Computer Science, LICS","first-page":"236","volume-title":"IEEE 1997","author":"O. Matz","year":"1997","unstructured":"Matz, O., Thomas, W.: The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. In: IEEE 1997. IEEE Symposium on Logic in Computer Science, LICS, pp. 236\u2013244. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"5_CR19","first-page":"285","volume":"1","author":"A. Potthoff","year":"1994","unstructured":"Potthoff, A., Seibert, S., Thomas, W.: Nondeterminism versus determinism of finite automata over directed acyclic graphs. Bull. Belgian Math. Soc.\u00a01, 285\u2013298 (1994)","journal-title":"Bull. Belgian Math. Soc."},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1007\/BFb0055827","volume-title":"Mathematical Foundations of Computer Science 1998","author":"K. Reinhardt","year":"1998","unstructured":"Reinhardt, K.: On some recognizable picture-languages. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, pp. 760\u2013770. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75414-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,29]],"date-time":"2020-04-29T01:27:05Z","timestamp":1588123625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75414-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540754138","9783540754145"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75414-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}