{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:36:27Z","timestamp":1759638987347},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319066851"},{"type":"electronic","value":"9783319066868"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06686-8_24","type":"book-chapter","created":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T01:30:40Z","timestamp":1401672640000},"page":"314-324","source":"Crossref","is-referenced-by-count":4,"title":["Recognizing Two-Sided Contexts in Cubic Time"],"prefix":"10.1007","author":[{"given":"Max","family":"Rabkin","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-28332-1_10","volume-title":"Language and Automata Theory and Applications","author":"M. Barash","year":"2012","unstructured":"Barash, M., Okhotin, A.: Defining contexts in context-free grammars. In: Dediu, A.-H., Mart\u00edn-Vide, C. (eds.) LATA 2012. LNCS, vol.\u00a07183, pp. 106\u2013118. Springer, Heidelberg (2012)"},{"key":"24_CR2","unstructured":"Barash, M., Okhotin, A.: Grammars with two-sided contexts. Tech. Rep. 1090, Turku Centre for Computer Science (2013), \n                  \n                    http:\/\/tucs.fi\/publications\/view\/?pub_id=tBaOk13b"},{"issue":"3","key":"24_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. The Journal of Logic Programming\u00a01(3), 267\u2013284 (1984)","journal-title":"The Journal of Logic Programming"},{"key":"24_CR4","unstructured":"Kowalski, R.: Logic for problem-solving. North-Holland Publishing Co. (1979), \n                  \n                    http:\/\/www.doc.ic.ac.uk\/~rak\/"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.cosrev.2013.06.001","volume":"9","author":"A. Okhotin","year":"2013","unstructured":"Okhotin, A.: Conjunctive and boolean grammars: the true general case of the context-free grammars. Computer Science Review\u00a09, 27\u201359 (2013)","journal-title":"Computer Science Review"},{"issue":"1-2","key":"24_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0743-1066(95)00035-I","volume":"24","author":"S.M. Shieber","year":"1995","unstructured":"Shieber, S.M., Schabes, Y., Pereira, F.C.N.: Principles and implementation of deductive parsing. The Journal of Logic Programming\u00a024(1-2), 3\u201336 (1995)","journal-title":"The Journal of Logic Programming"},{"issue":"2","key":"24_CR7","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/S0022-0000(75)80046-8","volume":"10","author":"L.G. Valiant","year":"1975","unstructured":"Valiant, L.G.: General context-free recognition in less than cubic time. Journal of Computer and System Sciences\u00a010(2), 308\u2013315 (1975)","journal-title":"Journal of Computer and System Sciences"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Williams, V.V.: Multiplying matrices faster than Coppersmith-Winograd. In: Proceedings of the 44th Symposium on Theory of Computing, STOC 2012, pp. 887\u2013898. ACM (2012)","DOI":"10.1145\/2213977.2214056"}],"container-title":["Lecture Notes in Computer Science","Computer Science - Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06686-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T19:36:38Z","timestamp":1558899398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06686-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319066851","9783319066868"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06686-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}