{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T09:44:33Z","timestamp":1768297473893,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540577850","type":"print"},{"value":"9783540483328","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_155","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:19:51Z","timestamp":1330262391000},"page":"365-375","source":"Crossref","is-referenced-by-count":4,"title":["Monadic second-order logic over pictures and recognizability by tiling systems"],"prefix":"10.1007","author":[{"given":"Dora","family":"Giammarresi","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Seibert","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Restivo","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Thomas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"M. Blum and C. Hewitt. Automata on a two-dimensional tape. IEEE Symposium on Switching and Automata Theory, 1967,pp. 155\u2013160.","DOI":"10.1109\/FOCS.1967.6"},{"key":"29_CR2","first-page":"190","volume-title":"Lecture Notes in Computer Science, 372","author":"D. Beauquier","year":"1989","unstructured":"D. Beauquier and J.E. Pin. Factors of words, In Proc. 16th Int. Colloquium on Automata, Languages and Programming, G. Ausiello et al., (eds.), Lecture Notes in Computer Science, 372, Springer-Verlag, Berlin 1989, pp. 190\u2013200."},{"key":"29_CR3","volume-title":"Mathematical Logic","author":"H.D. Ebbinghaus","year":"1984","unstructured":"H.D. Ebbinghaus and J. Flum and W. Thomas. Mathematical Logic, Springer-Verlag, Berlin, Heidelberg, New York 1984."},{"key":"29_CR4","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1002\/malq.19750210112","volume":"21","author":"R. Fagin","year":"1975","unstructured":"R. Fagin Monadic generalized spectra, Z. math. Logik Grundl. Math. 21, 1975, pp. 89\u201396.","journal-title":"Z. math. Logik Grundl. Math."},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Fagin, R., Stockmeyer, L., Vardi, M.Y.: On monadic NP vs. monadic co-NP. Proc. 8th IEEE Conf. on Structure in Complexity Theory, 1993, pp. 19\u201330.","DOI":"10.1109\/SCT.1993.336544"},{"key":"29_CR6","unstructured":"D. Giammarresi and A. Restivo. Recognizable picture languages. In Proc. First International Colloquium on Parallel Image Processing, 1991. International Journal Pattern Recognition and Artificial Intelligence. Vol. 6, No. 2 & 3, 1992."},{"key":"29_CR7","unstructured":"D. Giammarresi and A. Restivo. On recognizable two-dimensional languages. Tech. Report Dipartimento di matematica ed applicazioni, Universit\u00e0 di Palermo."},{"key":"29_CR8","unstructured":"D. Giammarresi, A. Restivo, S. Seibert, W. Thomas. Monadic second-order logic over pictures and recognizability by tiling systems. Tech. Report 9318 Institut f\u00fcr Informatik und Praktische Mathematik, Christian-Albrechts-Universit\u00e4t Kiel."},{"key":"29_CR9","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. E. Hopcroft","year":"1979","unstructured":"J. E. Hopcroft, and J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, MA, 1979."},{"key":"29_CR10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(77)90023-8","volume":"13","author":"K. Inoue","year":"1977","unstructured":"K. Inoue and A. Nakamura. Some properties of two-dimensional on-line tessellation acceptors. Information Sciences, Vol. 13, 1977, pp. 95\u2013121.","journal-title":"Information Sciences"},{"key":"29_CR11","first-page":"475","volume":"6","author":"K. Inoue","year":"1977","unstructured":"K. Inoue and A. Nakamura. Nonclosure properties of two-dimensional on-line tessellation acceptors and one-way parallel\/sequential array acceptors. Transaction of IECE of Japan, Vol. 6, 1977, pp. 475\u2013476.","journal-title":"Transaction of IECE of Japan"},{"key":"29_CR12","series-title":"Lecture Notes in Computer Science 381","first-page":"72","volume-title":"Proc. 5th Int. Meeting of Young Computer Scientists","author":"K. Inoue","year":"1990","unstructured":"K. Inoue and I. Takanami. A survey of two-dimensional automata theory. In Proc. 5th Int. Meeting of Young Computer Scientists, J. Dasson and J. Kelemen (Eds.), Lecture Notes in Computer Science 381, Springer-Verlag, Berlin 1990, pp. 72\u201391."},{"key":"29_CR13","volume-title":"Lecture Notes in Computer Science 654","author":"K. Inoue","year":"1992","unstructured":"K. Inoue and I. Takanami. A characterization of recognizable picture languages. In Proc. Second International Colloquium on Parallel Image Processing, A. Nakamura et al. (Eds.), Lecture Notes in Computer Science 654, Springer, Berlin 1992."},{"key":"29_CR14","first-page":"441","volume-title":"Lecture Notes in Computer Science, 510","author":"W. Thomas","year":"1991","unstructured":"W. Thomas. On Logics, Tilings, and Automata. In Proc. 18th Int. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, 510, Springer-Verlag, Berlin 1991, pp. 441\u2013453."},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science, 668","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/3-540-56610-4_89","volume-title":"Proc. TAPSOFT '93","author":"W. Thomas","year":"1993","unstructured":"W. Thomas. On the Ehrenfeucht-Fraiss\u00e9 Game in Theoretical Computer Science. In Proc. TAPSOFT '93, M.C. Gaudel, J.P. Jouannaud (Eds.) Lecture Notes in Computer Science, 668, Springer-Verlag, Berlin 1993, pp. 559\u2013568."}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_155.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:03Z","timestamp":1619572083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_155","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}