{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T05:25:20Z","timestamp":1648617920136},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,7,5]],"date-time":"2008-07-05T00:00:00Z","timestamp":1215216000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Spektrum"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s00287-008-0265-x","type":"journal-article","created":{"date-parts":[[2008,7,4]],"date-time":"2008-07-04T07:43:00Z","timestamp":1215157380000},"page":"255-259","source":"Crossref","is-referenced-by-count":0,"title":["Lernverfahren f\u00fcr Automaten \u00fcber linearisierten XML-Dokumenten"],"prefix":"10.1007","volume":"32","author":[{"given":"Daniel","family":"Neider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,7,5]]},"reference":[{"issue":"2","key":"265_CR1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin D (1987) Learning regular sets from queries and counterexamples. Inf Comput 75(2):87\u2013106","journal-title":"Inf Comput"},{"key":"265_CR2","doi-asserted-by":"crossref","unstructured":"B\u00e1r\u00e1ny V, L\u00f6ding C, Serre O (2006) Regularity problems for visibly pushdown languages. In: Proceedings of the 23rd Annual Symposioum on Theoretical Aspects of Computer Science (STACS\u201906), 3884:420\u2013431, Springer, Berlin Heidelberg","DOI":"10.1007\/11672142_34"},{"key":"265_CR3","doi-asserted-by":"crossref","unstructured":"Esparza J, Hansel D, Rossmanith P, Schwoon S (2000) Efficient Algorithms for Model Checking Pushdown Systems. Computer Aided Verification, S 232\u2013247","DOI":"10.1007\/10722167_20"},{"issue":"5","key":"265_CR4","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold EM (1967) Language identification in the limit. Inf Control 10(5):447\u2013474","journal-title":"Inf Control"},{"key":"265_CR5","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1142\/9789812797902_0004","volume":"1","author":"J Onc\u00edna","year":"1992","unstructured":"Onc\u00edna J, Garcia P (1992) Inferring regular languages in polynomial update time. Pattern Recognit Image Anal 1:49\u201361","journal-title":"Pattern Recognit Image Anal"},{"key":"265_CR6","doi-asserted-by":"crossref","unstructured":"Segoufin L, Sirangelo C (2007) Constant-memory validation of streaming XML documents against DTDs. In: Proc. ICDT\u201907, 4353:299\u2013313, Springer, Berlin Heidelberg","DOI":"10.1007\/11965893_21"},{"key":"265_CR7","doi-asserted-by":"crossref","unstructured":"Segoufin L, Vianu V (2002) Validating streaming XML documents. In: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, S 53\u201364, ACM Press, New York, NY, USA","DOI":"10.1145\/543613.543622"}],"container-title":["Informatik-Spektrum"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-008-0265-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00287-008-0265-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-008-0265-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T10:42:31Z","timestamp":1559040151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00287-008-0265-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,5]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["265"],"URL":"https:\/\/doi.org\/10.1007\/s00287-008-0265-x","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"value":"0170-6012","type":"print"},{"value":"1432-122X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,5]]}}}