{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T01:34:00Z","timestamp":1715132040445},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf00267045","type":"journal-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T16:40:50Z","timestamp":1688488850000},"page":"579-588","source":"Crossref","is-referenced-by-count":11,"title":["The family of one-counter languages is closed under quotient"],"prefix":"10.1007","volume":"22","author":[{"given":"M.","family":"Latteux","sequence":"first","affiliation":[]},{"given":"B.","family":"Leguy","sequence":"additional","affiliation":[]},{"given":"B.","family":"Ratoandromanana","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF00267045_CR1","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF01768474","volume":"11","author":"J.M. Autebert","year":"1977","unstructured":"Autebert, J.M.: Non-principalit\u00e9 du cylindre des langages \u00e0 compteurs. Math. Syst. Theory 11, 157\u2013167 (1977)","journal-title":"Math. Syst. Theory"},{"key":"BF00267045_CR2","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/S0022-0000(74)80027-9","volume":"8","author":"B.S. Baker","year":"1974","unstructured":"Baker, B.S., Book, R.V.: Reversal-bounded Multipushdown Machines. J. Comput. Syst. Sci. 8, 315\u2013332 (1974)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF00267045_CR3","first-page":"45","volume-title":"Fundamentals of Computation Theory","author":"J. Beauquier","year":"1979","unstructured":"Beauquier, J.: Independence of linear and one-counter generators. In: Fundamentals of Computation Theory, pp. 45\u201351. Berlin: Akademie 1979"},{"key":"BF00267045_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09367-1","volume-title":"Transductions and context-free languages","author":"J. Berstel","year":"1979","unstructured":"Berstel, J.: Transductions and context-free languages. Stuttgart: Teubner 1979"},{"key":"BF00267045_CR5","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/S0022-0000(73)80036-4","volume":"7","author":"L. Boasson","year":"1973","unstructured":"Boasson, L.: Two Iteration theorems for some families of languages. J. Comput. Syst. Sci. 7, 583\u2013596 (1973)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF00267045_CR6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(82)90036-6","volume":"19","author":"R.V. Book","year":"1982","unstructured":"Book, R.V., Jantzen, M., Wrathall, C.: Monadic Thue Systems. Theor. Comput. Sci. 19, 231\u2013251 (1982)","journal-title":"Theor. Comput. Sci."},{"key":"BF00267045_CR7","volume-title":"Algebraic and Automata-Theoretic properties of Formal Languages","author":"S. Ginsburg","year":"1975","unstructured":"Ginsburg, S.: Algebraic and Automata-Theoretic properties of Formal Languages. Amsterdam: North-Holland 1975"},{"key":"BF00267045_CR8","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0022-0000(75)80042-0","volume":"10","author":"S. Greibach","year":"1975","unstructured":"Greibach, S.: One-counter languages and the IRS condition. J. Comput. Syst. Sci. 10, 237\u2013247 (1975)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF00267045_CR9","first-page":"5","volume":"R2","author":"S. Greibach","year":"1975","unstructured":"Greibach, S.: A note on the recognition of one-counter languages. RAIRO, Inf. Theor. R2, 5\u201312 (1975)","journal-title":"RAIRO, Inf. Theor."},{"key":"BF00267045_CR10","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(78)90020-8","volume":"7","author":"S. Greibach","year":"1978","unstructured":"Greibach, S.: Remarks on blind and partially blind one-way multi-counter machines. Theor. Comput. Sci. 7, 311\u2013324 (1978)","journal-title":"Theor. Comput. Sci."},{"key":"BF00267045_CR11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1051\/ita\/1979130201891","volume":"13","author":"S. Greibach","year":"1979","unstructured":"Greibach, S.: One-counter languages and the chevron operation. RAIRO, Inf. Theor. 13, 189\u2013194 (1979)","journal-title":"RAIRO, Inf. Theor."},{"key":"BF00267045_CR12","volume-title":"Introduction to Formal Language Theory","author":"M.A. Harrison","year":"1978","unstructured":"Harrison, M.A.: Introduction to Formal Language Theory. Reading, MA.: Addison Wesley 1978"},{"key":"BF00267045_CR13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1051\/ita\/1979130100191","volume":"13","author":"M. Jantzen","year":"1979","unstructured":"Jantzen, M.: On the hierarchy of Petri Net languages. RAIRO, Inf. Theor. 13, 19\u201330 (1979)","journal-title":"RAIRO, Inf. Theor."},{"key":"BF00267045_CR14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0304-3975(81)90054-2","volume":"14","author":"M. Jantzen","year":"1981","unstructured":"Jantzen, M.: The power of synchronizing operations on strings. Theor. Comput. Sci. 14, 127\u2013154 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"BF00267045_CR15","unstructured":"Latteux, M.: Langages commutatifs. Thesis, Lille 1, 1978"},{"key":"BF00267045_CR16","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/0022-0000(83)90018-1","volume":"26","author":"M. Latteux","year":"1983","unstructured":"Latteux, M.: Langages \u00e0 un compteur. J. Comput. Syst. Sci. 26, 14\u201333 (1983)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF00267045_CR17","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/0022-0000(84)90013-8","volume":"29","author":"M. Latteux","year":"1984","unstructured":"Latteux, M., Rozenberg, G.: Commutative one-counter languages are regular. J. Comput. Syst. Sci. 29, 54\u201357 (1984)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF00267045_CR18","doi-asserted-by":"crossref","first-page":"339","DOI":"10.5802\/aif.287","volume":"18","author":"M. Nivat","year":"1967","unstructured":"Nivat, M.: Transductions des langages de Chomsky. Ann. Inst. Fourier, Grenoble 18, 339\u2013455 (1967)","journal-title":"Ann. Inst. Fourier, Grenoble"},{"key":"BF00267045_CR19","unstructured":"Ratoandromanana, B.: Ordre et quotient dans les familles de langages alg\u00e9briques. Thesis, University of Lille 1, 1984"},{"key":"BF00267045_CR20","first-page":"145","volume":"81","author":"P. Turakainen","year":"1978","unstructured":"Turakainen, P.: On characterization of recursively enumerable languages in terms of linear languages and VW-grammars. Proc. K. Ned. Akad. Wet., Amsterdam 81, 145\u2013153 (1978)","journal-title":"Proc. K. Ned. Akad. Wet., Amsterdam"},{"key":"BF00267045_CR21","doi-asserted-by":"crossref","first-page":"572","DOI":"10.1016\/S0019-9958(67)91032-7","volume":"10","author":"M.K. Yntema","year":"1967","unstructured":"Yntema, M.K.: Inclusion relations among families of context-free languages. Inf. Control 10, 572\u2013597 (1967)","journal-title":"Inf. Control"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00267045.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF00267045\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00267045.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T16:41:07Z","timestamp":1688488867000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF00267045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":21,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF00267045"],"URL":"https:\/\/doi.org\/10.1007\/bf00267045","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}