{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:59:06Z","timestamp":1725728346237},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642385353"},{"type":"electronic","value":"9783642385360"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38536-0_37","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T01:03:04Z","timestamp":1370221384000},"page":"431-443","source":"Crossref","is-referenced-by-count":5,"title":["Overlapping Tile Automata"],"prefix":"10.1007","author":[{"given":"David","family":"Janin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"37_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S1793351X12400132","volume":"6","author":"F. Berthaut","year":"2012","unstructured":"Berthaut, F., Janin, D., Martin, B.: Advanced synchronization of audio or symbolic musical patterns: an algebraic approach. International Journal of Semantic Computing\u00a06(4), 1\u201319 (2012)","journal-title":"International Journal of Semantic Computing"},{"key":"37_CR2","unstructured":"Cornock, C.: Restriction Semigroups: Structure, Varieties and Presentations. PhD thesis, Departement of Mathematics University of York (2011)"},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1016\/j.jpaa.2011.10.015","volume":"216","author":"C. Cornock","year":"2012","unstructured":"Cornock, C., Gould, V.: Proper two-sided restriction semigroups and partial actions. Journal of Pure and Applied Algebra\u00a0216, 935\u2013949 (2012)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"37_CR4","unstructured":"Dicky, A., Janin, D.: Two-way automata and regular languages of overlapping tiles. Technical Report RR-1463-12, LaBRI, Universit\u00e9 de Bordeaux (2012)"},{"issue":"2","key":"37_CR5","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1017\/S0013091500016230","volume":"22","author":"J. Fountain","year":"1979","unstructured":"Fountain, J.: Adequate semigroups. Proc. Edinburgh Math. Soc.\u00a022(2), 113\u2013125 (1979)","journal-title":"Proc. Edinburgh Math. Soc."},{"issue":"4","key":"37_CR6","first-page":"414","volume":"5","author":"C.D. Hollings","year":"2012","unstructured":"Hollings, C.D.: The Ehresmann ScheinNambooripad Theorem and its successors. European Journal of Pure and Applied Mathematics\u00a05(4), 414\u2013450 (2012)","journal-title":"European Journal of Pure and Applied Mathematics"},{"key":"37_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-642-32589-2_46","volume-title":"Mathematical Foundations of Computer Science 2012","author":"D. Janin","year":"2012","unstructured":"Janin, D.: Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles. In: Rovan, B., Sassone, V., Widmayer, P. (eds.) MFCS 2012. LNCS, vol.\u00a07464, pp. 516\u2013528. Springer, Heidelberg (2012)"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"Janin, D.: Algebras, automata and logic for languages of labeled birooted trees. Technical Report RR-1467-13, LaBRI, Universit\u00e9 de Bordeaux (2013)","DOI":"10.1007\/978-3-642-39212-2_29"},{"key":"37_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-35843-2_22","volume-title":"SOFSEM 2013: Theory and Practice of Computer Science","author":"D. Janin","year":"2013","unstructured":"Janin, D.: On languages of one-dimensional overlapping tiles. In: van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (eds.) SOFSEM 2013. LNCS, vol.\u00a07741, pp. 244\u2013256. Springer, Heidelberg (2013)"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Janin, D., Berthaut, F., DeSainte-Catherine, M., Orlarey, Y., Salvati, S.: The T-calculus: towards a structured programming of (musical) time and space. Technical Report RR-1466-13, LaBRI, Universit\u00e9 de Bordeaux, (to appear, 2013)","DOI":"10.1145\/2505341.2505347"},{"key":"37_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s002200050131","volume":"187","author":"J. Kellendonk","year":"1997","unstructured":"Kellendonk, J.: The local structure of tilings and their integer group of coinvariants. Comm. Math. Phys.\u00a0187, 115\u2013157 (1997)","journal-title":"Comm. Math. Phys."},{"key":"37_CR12","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1016\/j.jalgebra.2004.01.029","volume":"276","author":"J. Kellendonk","year":"2004","unstructured":"Kellendonk, J., Lawson, M.V.: Universal groups for point-sets and tilings. Journal of Algebra\u00a0276, 462\u2013492 (2004)","journal-title":"Journal of Algebra"},{"issue":"2","key":"37_CR13","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/0021-8693(91)90242-Z","volume":"141","author":"M.V. Lawson","year":"1991","unstructured":"Lawson, M.V.: Semigroups and ordered categories. i. the reduced case. Journal of Algebra\u00a0141(2), 422\u2013462 (1991)","journal-title":"Journal of Algebra"},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"Lawson, M.V.: Inverse Semigroups: The theory of partial symmetries. World Scientific (1998)","DOI":"10.1142\/3645"},{"issue":"1","key":"37_CR15","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1006\/jabr.1997.7301","volume":"202","author":"M.V. Lawson","year":"1998","unstructured":"Lawson, M.V.: McAlister semigroups. Journal of Algebra\u00a0202(1), 276\u2013294 (1998)","journal-title":"Journal of Algebra"},{"key":"37_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-13345-3_30","volume-title":"Automata, Languages, and Programming","author":"S.W. Margolis","year":"1984","unstructured":"Margolis, S.W., Pin, J.-E.: Languages and inverse semigroups. In: Paredaens, J. (ed.) ICALP 1984. LNCS, vol.\u00a0172, pp. 337\u2013346. Springer, Heidelberg (1984)"},{"issue":"3","key":"37_CR17","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1112\/plms\/s3-29.3.385","volume":"29","author":"W.D. Munn","year":"1974","unstructured":"Munn, W.D.: Free inverse semigroups. Proceeedings of the London Mathematical Society\u00a029(3), 385\u2013404 (1974)","journal-title":"Proceeedings of the London Mathematical Society"},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Pin, J.-E.: Syntactic semigroups. In: Handbook of formal languages, vol.\u00a0I, ch. 10, pp. 679\u2013746. Springer (1997)","DOI":"10.1007\/978-3-642-59136-5_10"},{"issue":"4","key":"37_CR19","first-page":"349","volume":"30","author":"P.V. Silva","year":"1996","unstructured":"Silva, P.V.: On free inverse monoid languages. ITA\u00a030(4), 349\u2013378 (1996)","journal-title":"ITA"}],"container-title":["Lecture Notes in Computer Science","Computer Science \u2013 Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38536-0_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T16:44:42Z","timestamp":1557765882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38536-0_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642385353","9783642385360"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38536-0_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}