{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:48Z","timestamp":1725663168380},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514862"},{"type":"electronic","value":"9783540481768"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51486-4_74","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:57:54Z","timestamp":1330185474000},"page":"270-280","source":"Crossref","is-referenced-by-count":5,"title":["Generalized definite tree languages"],"prefix":"10.1007","author":[{"given":"Uschi","family":"Heuter","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","volume":"4","author":"J. Doner","year":"1970","unstructured":"Doner, J., Tree Acceptors and Some of Their Applications, J. of Comp. and System Sci. 4, (1970), 406\u2013451.","journal-title":"J. of Comp. and System Sci."},{"key":"22_CR2","volume-title":"\"Automata, Languages and Machines\", Vol.B","author":"S. Eilenberg","year":"1976","unstructured":"Eilenberg, S., \"Automata, Languages and Machines\", Vol.B, Academic Press, New York, 1976."},{"key":"22_CR3","volume-title":"Tree Automata","author":"F. Gecseg","year":"1984","unstructured":"Gecseg, F., Steinby, M., \"Tree Automata\", Akademiai Kiado, Budapest 1984."},{"key":"22_CR4","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/BFb0035840","volume":"294","author":"U. Heuter","year":"1988","unstructured":"Heuter, U., First-order Properties of Finite Trees, Star-Free Expressions and Aperiodicity, in: Proc. 5th STACS, Bordeaux, Lecture Notes in Computer Science 294, (1988), 136\u2013149.","journal-title":"Lecture Notes in Computer Science"},{"key":"22_CR5","first-page":"137","volume":"35","author":"U. Heuter","year":"1988","unstructured":"Heuter, U., Definite Tree Languages, Bulletin of the EATCS 35, (1988), 137\u2013143.","journal-title":"Bulletin of the EATCS"},{"key":"22_CR6","volume-title":"Vari\u00e9t\u00e9s de Langages Formels","author":"J. E. Pin","year":"1984","unstructured":"Pin, J.E., \"Vari\u00e9t\u00e9s de Langages Formels\", Etudes et Recherches en Informatique, Masson, 1984."},{"key":"22_CR7","first-page":"233","volume":"EC-12","author":"M. Perles","year":"1963","unstructured":"Perles, M., Rabin, M.O., Shamir, E., The Theory of Definite Automata, I.E.E.E. Trans. Electronic Computers EC-12, (1963), 233\u2013243.","journal-title":"I.E.E.E. Trans. Electronic Computers"},{"key":"22_CR8","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1016\/0022-0000(82)90016-2","volume":"25","author":"W. Thomas","year":"1982","unstructured":"Thomas, W., Classifying Regular Events in Symbolic Logic, J. of Comp. and System Sci. 25, (1982), 360\u2013376.","journal-title":"J. of Comp. and System Sci."},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"J. W. Thatcher","year":"1968","unstructured":"Thatcher, J.W., Wright, J.B., Generalized Finite Automata with an Application to a Decision Problem of Second-Order Logic, Math. Syst. Theory 2, (1968), 57\u201382.","journal-title":"Math. Syst. Theory"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51486-4_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:03:26Z","timestamp":1619557406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51486-4_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514862","9783540481768"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-51486-4_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}