{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:16:30Z","timestamp":1725804990338},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319108810"},{"type":"electronic","value":"9783319108827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10882-7_15","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T06:54:19Z","timestamp":1410418459000},"page":"241-258","source":"Crossref","is-referenced-by-count":0,"title":["Learning Cover Context-Free Grammars from Structural Data"],"prefix":"10.1007","author":[{"given":"Mircea","family":"Marin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Istrate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation\u00a075, 87\u2013106 (1987)","journal-title":"Information and Computation"},{"issue":"2","key":"15_CR2","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1006\/jcss.1995.1026","volume":"50","author":"D. Angluin","year":"1995","unstructured":"Angluin, D., Kharitonov, M.: When won\u2019t membership queries help? Journal of Computer and System Sciences\u00a050(2), 336\u2013355 (1995)","journal-title":"Journal of Computer and System Sciences"},{"issue":"5","key":"15_CR3","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1016\/S0019-9958(68)90917-0","volume":"13","author":"W.S. Brainerd","year":"1968","unstructured":"Brainerd, W.S.: The minimalization of tree automata. Information and Control\u00a013(5), 484\u2013491 (1968)","journal-title":"Information and Control"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-78800-3_2","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Farzan","year":"2008","unstructured":"Farzan, A., Chen, Y.-F., Clarke, E.M., Tsay, Y.-K., Wang, B.-Y.: Extending automated compositional verification to the full class of omega-regular languages. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 2\u201317. Springer, Heidelberg (2008)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"De la Higuera, C.: Grammatical inference: learning automata and grammars. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139194655"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-31653-1_18","volume-title":"Developments in Language Theory","author":"M. Holzer","year":"2012","unstructured":"Holzer, M., Jakobi, S.: From equivalence to almost-equivalence, and beyond\u2014minimizing automata with errors. In: Yen, H.-C., Ibarra, O.H. (eds.) DLT 2012. LNCS, vol.\u00a07410, pp. 190\u2013201. Springer, Heidelberg (2012)"},{"key":"15_CR7","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Pearson Addison Wesley (2003)"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.jcss.2011.04.002","volume":"78","author":"F. Ipate","year":"2012","unstructured":"Ipate, F.: Learning finite cover automata from queries. Journal of Computer and System Sciences\u00a078(1), 221\u2013244 (2012)","journal-title":"Journal of Computer and System Sciences"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/11817949_14","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"V. Kumar","year":"2006","unstructured":"Kumar, V., Madhusudan, P., Viswanathan, M.: Minimization, learning, and conformance testing of boolean programs. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 203\u2013217. Springer, Heidelberg (2006)"},{"issue":"3","key":"15_CR10","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1016\/S0019-9958(78)90849-5","volume":"39","author":"L.S. Levy","year":"1978","unstructured":"Levy, L.S., Joshi, A.K.: Skeletal structural descriptions. Information and Control\u00a039(3), 192\u2013211 (1978)","journal-title":"Information and Control"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1006\/inco.1995.1070","volume":"118","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A.: On the learnability of infinitary regular sets. Information and Computation\u00a0118(2), 316\u2013326 (1995)","journal-title":"Information and Computation"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(90)90017-C","volume":"76","author":"Y. Sakakibara","year":"1990","unstructured":"Sakakibara, Y.: Learning context-free grammars from structural data in polynomial time. Theoretical Computer Science\u00a076, 223\u2013242 (1990)","journal-title":"Theoretical Computer Science"},{"key":"15_CR13","unstructured":"Sipser, M.: Introduction to the Theory of Computation, 2nd edn. Thomson (2006)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10882-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T21:43:32Z","timestamp":1558993412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10882-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319108810","9783319108827"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10882-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}