{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T04:16:35Z","timestamp":1768277795302,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540569398","type":"print"},{"value":"9783540478263","type":"electronic"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56939-1_85","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:55:58Z","timestamp":1330239358000},"page":"347-358","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Algebras for classifying regular tree languages and an application to frontier testability"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Wilke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF01190713","volume":"27","author":"J. Almeida","year":"1990","unstructured":"J. Almeida. On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics. Algebra Universalis, 27:333\u2013350, 1990.","journal-title":"Algebra Universalis"},{"key":"29_CR2","volume-title":"Automata, Languages and Machines, vol. B","author":"S. Eilenberg","year":"1976","unstructured":"S. Eilenberg. Automata, Languages and Machines, vol. B. Academic Press, New York, 1976."},{"key":"29_CR3","volume-title":"doctoral thesis","author":"U. Heuter","year":"1989","unstructured":"U. Heuter. Zur Klassifizierung regul\u00e4rer Baumsprachen. doctoral thesis, RWTH Aachen, June 1989."},{"key":"29_CR4","first-page":"170","volume":"47","author":"D. Kozen","year":"1992","unstructured":"D. Kozen. On the Myhill-Nerode theorem for trees. Bull. European Assoc. Theoret. Comput. Sci., 47:170\u2013173, June 1992.","journal-title":"Bull. European Assoc. Theoret. Comput. Sci."},{"key":"29_CR5","first-page":"186","volume":"38","author":"M. Nivat","year":"1989","unstructured":"M. Nivat and A. Podelski. Definite tree languages. Bull. European Assoc. Theoret. Comput. Sci., 38:186\u2013190, June 1989.","journal-title":"Bull. European Assoc. Theoret. Comput. Sci."},{"key":"29_CR6","series-title":"volume 623 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/3-540-55719-9_71","volume-title":"Automata, Languages and Programming: 19th International Colloquium","author":"P. P\u00e9ladeau","year":"1992","unstructured":"P. P\u00e9ladeau and A. Podelski. On reverse and general definite tree languages. In W. Kuich, editor, Automata, Languages and Programming: 19th International Colloquium, Wien, July 1992, volume 623 of Lecture Notes in Computer Science, pages 150\u2013161, Springer."},{"key":"29_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2215-3","volume-title":"Varieties of Formal Languages","author":"J.-E. Pin","year":"1986","unstructured":"J.-E. Pin. Varieties of Formal Languages. North Oxford Academic Press, London, 1986."},{"key":"29_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02483902","volume":"14","author":"J. Reiterman","year":"1982","unstructured":"J. Reiterman. The Birkhoff Theorem for finite algebras. Algebra Universalis, 14:1\u201310, 1982.","journal-title":"Algebra Universalis"},{"key":"29_CR9","volume-title":"Diploma thesis","author":"T. Scholz","year":"1992","unstructured":"T. Scholz. Charakterisierung definiter Baumsprachen durch Gleichungen in der Termalgebra. Diploma thesis, Inst. f. Inform. u. Prakt. Math., Univ. Kiel, Germany, Sept. 1992."},{"key":"29_CR10","first-page":"57","volume-title":"Tree Automata and Languages","author":"M. Steinby","year":"1992","unstructured":"M. Steinby. A theory of tree language varieties. In M. Nivat and A. Podelski, editors, Tree Automata and Languages, pages 57\u201381. Elsevier Science Publishers, Amsterdam, 1992."},{"key":"29_CR11","unstructured":"W. Thomas. Logical aspects in the study of tree languages. In B. Courcelle, editor, Ninth Coll. on Trees in Algebra and Programming, pages 31\u201351. Cambridge Univ. Press, 1984."},{"key":"29_CR12","series-title":"volume 510 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1007\/3-540-54233-7_166","volume-title":"Automata, Languages and Programming: 18th Intern. Coll.","author":"Th. Wilke","year":"1991","unstructured":"Th. Wilke. An Eilenberg theorem for \u221e-languages. In J. Leach Albert, B. Monien, and M. Rodr\u00edguez Artalejo, editors, Automata, Languages and Programming: 18th Intern. Coll., Madrid, 1991, volume 510 of Lecture Notes in Computer Science, pages 588\u2013599, Springer."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56939-1_85","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T19:00:33Z","timestamp":1578510033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56939-1_85"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569398","9783540478263"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-56939-1_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"28 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}