{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:31Z","timestamp":1725663151790},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100034"},{"type":"electronic","value":"9783540393467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_64","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:47Z","timestamp":1330189127000},"page":"109-118","source":"Crossref","is-referenced-by-count":7,"title":["Derivations et reductions dans les grammaires algebrioues"],"prefix":"10.1007","author":[{"given":"L.","family":"Boasson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"11_CR1","unstructured":"AHO A.V. and J.D. ULLMAN: The Theory of Parsing, Translation and Compiling. Prentice-Hall (1972)."},{"key":"11_CR2","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 Compteur. Math.System Theory 11 (1977), p. 157\u2013167.","journal-title":"Math.System Theory"},{"key":"11_CR3","unstructured":"BERSTEL J.: Congruences Plus que Parfaites et Langages Alg\u00e9briques. S\u00e9minaire d'Informatique Th\u00e9orique. L.I.T.P. (1975\u201377) p. 123\u2013147."},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1051\/ita\/1979130302031","volume":"13","author":"L. Boasson","year":"1979","unstructured":"BOASSON L.: Un Langage Particulier. R.A.I.R.O. \u2014 Informatique Th\u00e9orique 13 (1979), p. 203\u2013215.","journal-title":"R.A.I.R.O. \u2014 Informatique Th\u00e9orique"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"BOASSON L. et M. NIVAT: Parenthesis Generators. 17th Annual I.E.E. Symposimm (F.O.C.S.) (1976), p. 253\u2013257.","DOI":"10.1109\/SFCS.1976.23"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. Burstall","year":"1977","unstructured":"BURSTALL R. and J. DARLINGTON: A Transformation System for Developping Recursive Programs. Jour. of A.C.M. 24 (1977), p. 44\u201367.","journal-title":"Jour. of A.C.M."},{"key":"11_CR7","unstructured":"BUTZBACH P.: Une famille de Congruences de Thue pour lesquelles l'Equivalence est D\u00e9cidable. 1st I.C.A.L.P. North-Holland (1973) p. 3\u201312."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"CHANDLER W.J.: Abstract Families of Deterministic Languages. 1st A.C.M. S.I.G.A.C.T. (1969), p. 21\u201330.","DOI":"10.1145\/800169.805418"},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/BF02771689","volume":"9","author":"C. Y","year":"1971","unstructured":"COCHET Y. et M. NIVAT: Une G\u00e9n\u00e9ralisation des Ensembles de Dyck. Israel Jour. of Math. 9 (1971), p. 389\u2013395.","journal-title":"Israel Jour. of Math."},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1051\/ita\/1979130100691","volume":"13","author":"C. Frougny","year":"1979","unstructured":"FROUGNY C.: Langages tr\u00e8s simples G\u00e9n\u00e9rateurs. R.A.I.R.O. Informatique Th\u00e9orique 13 (1979), p. 69\u201386.","journal-title":"R.A.I.R.O. Informatique Th\u00e9orique"},{"key":"11_CR11","first-page":"1","volume":"87","author":"S. Ginsburg","year":"1969","unstructured":"GINSBURG S. and S.A. GREIBACH: Abstract Families of Languages. Memoirs of the Amer. Math. Soc. 87 (1969), p. 1\u201332.","journal-title":"Memoirs of the Amer. Math. Soc."},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-0000(67)80003-5","volume":"1","author":"S. Ginsburg","year":"1967","unstructured":"GINSBURG S. and M. HARRISON: Bracketed Context-Free Languages. Jour. of Computer and System Science 1 (1967), p. 1\u201323.","journal-title":"Jour. of Computer and System Science"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"GREIBACH S.A.: Theory of Program Structures: Schemes, Semantics, Verification. Lecture Notes in Computer Science 36 (1975), Springer.","DOI":"10.1007\/BFb0023017"},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0022-0000(75)80042-0","volume":"10","author":"S. A. Greibach","year":"1975","unstructured":"GREIBACH S.A.: One-Counter Languages and the I.R.S. Condition. Jour. of Computer and System Science 10 (1975), p. 237\u2013247.","journal-title":"Jour. of Computer and System Science"},{"key":"11_CR15","first-page":"193","volume":"19","author":"G. S.A","year":"1972","unstructured":"GREIBACH S.A. and S. GINSBURG: Multitape A.F.A. Jour. of A.C.M. 19 (1972), p. 193\u2013221.","journal-title":"Jour. of A.C.M."},{"key":"11_CR16","unstructured":"HOPCROFT J. and J.D. ULLMAN: Formal Languages and their Relationship to Automata. Addison-Wesley (1969)."},{"key":"11_CR17","unstructured":"HOTZ G.: Uber die Darstellbarkeit des Syntaktischen Monoides Kontext-Freier Spracher. Rapport de l'Universit\u00e9 de Saarbruck."},{"key":"11_CR18","unstructured":"KOTT L.: About a Transformation System: a Theoretical Study. 3\u00e8me Colloque International sur la Programmation. Paris (1978), B. Robinet Ed."},{"key":"11_CR19","first-page":"490","volume":"14","author":"M. N. R","year":"1967","unstructured":"Mc NAUGHTON R.: Parenthesis Grammars. Jour. of A.C.M. 14 (1967), p. 490\u2013500.","journal-title":"Jour. of A.C.M."},{"key":"11_CR20","unstructured":"SALOMAA A.: Formal Languages. Academic Press (1973)."},{"key":"11_CR21","unstructured":"STANAT D.F.: Formal Languages and Power Series. 3rd A.C.M. S.I.G.A.C.T. (1971) p. 1\u201311."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T12:02:25Z","timestamp":1713614545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}