{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T08:16:38Z","timestamp":1648973798855},"reference-count":13,"publisher":"EDP Sciences","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO. Inform. th\u00e9or."],"published-print":{"date-parts":[[1982]]},"DOI":"10.1051\/ita\/1982160201291","type":"journal-article","created":{"date-parts":[[2017,2,6]],"date-time":"2017-02-06T15:36:26Z","timestamp":1486395386000},"page":"129-138","source":"Crossref","is-referenced-by-count":0,"title":["Ind\u00e9cidabilit\u00e9 de la condition IRS"],"prefix":"10.1051","volume":"16","author":[{"given":"Jean-Michel","family":"Autebert","sequence":"first","affiliation":[]},{"given":"Joffroy","family":"Beauquier","sequence":"additional","affiliation":[]},{"given":"Luc","family":"Boasson","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Latteux","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"1.AUTEBERT J. M., COUSINEAU G. etNIVAT M., Les Langages Alg\u00e9briques, Hermann, Paris (\u00e0 para\u00eetre)."},{"key":"R2","doi-asserted-by":"crossref","unstructured":"2. BOASSON L., Un LangageAlg\u00e9brique Particulier, R.A.I.R.O., Informatique th\u00e9orique, vol. 13, 1979, p. 203-215.920995546820424.68042","DOI":"10.1051\/ita\/1979130302031"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"4. FRIEDMANN E., The Inclusion Problem for Simple Languages, Theoretical Computer Science, vol. 1, 1976, p. 297-316.4059360349.68032","DOI":"10.1016\/0304-3975(76)90074-8"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"5. FROUGNY C., Langages tr\u00e8s Simples G\u00e9n\u00e9rateurs, R.A.I.R.O., Informatique Th\u00e9orique, vol. 13, 1976, p. 69-86.920915254580405.68063","DOI":"10.1051\/ita\/1979130100691"},{"key":"R5","unstructured":"6. GINSBURG S., The Mathematical Theory of Context-free Languages, Mc Graw Hill, 1966.2118150184.28401"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"7. GINSBURG S. et SPANIER E.H., Finite-Turn Pushdown Automata, S.I.A.M. J. Control, vol. 4, 1966, p. 429-453.2042940147.25302","DOI":"10.1137\/0304034"},{"key":"R7","doi-asserted-by":"crossref","unstructured":"8. GREIBACH S. A., The Unsolvability of the Recognition of Linear Context-Free Languages, J. Assoc. Comp. Mach., vol. 13, 1966, p. 582-588.2057700148.00901","DOI":"10.1145\/321356.321365"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"9. GREIBACH S. A., One-Counter Languages and the IRS Condition, J. Comput System Sc., vol. 10, 1975, p. 237-247.3953520307.68062","DOI":"10.1016\/S0022-0000(75)80042-0"},{"key":"R9","unstructured":"10. GREIBACH S. A. et FRIEDMANN E., Superdeterministics Pda's : a Subcase with a Decidable Equivalence Problem (\u00e0 para\u00eetre).0462.68030"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"11. LATTEUX M., C\u00f4nes Rationnels Commutativement Clos, R.A.I.R.O., Informatique Th\u00e9orique, vol. 11, 1977, p. 29-51.920404787820354.68103","DOI":"10.1051\/ita\/1977110100291"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"12. STEARNS R. E., A Regularity Test for Pushdown Machines, Information and Control, vol. 11, 1967, p. 323-340.0155.01901","DOI":"10.1016\/S0019-9958(67)90591-8"},{"key":"R12","doi-asserted-by":"crossref","unstructured":"13. VALIANT L. G., The Equivalence Problem for Deterministic Finite-Turn Pushdow Automata, Information and Control, vol. 25, 1974, p. 123-133.3915910285.68025","DOI":"10.1016\/S0019-9958(74)90839-0"},{"key":"R13","unstructured":"14. VALIANT L. G., Decision Procedures for Families of Deterministic Pushdown Automata, Ph. D. Thesis, University of Warwick, 1973."}],"container-title":["RAIRO. Informatique th\u00e9orique"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1982160201291\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T09:34:14Z","timestamp":1568799254000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1982160201291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"references-count":13,"journal-issue":{"issue":"2"},"alternative-id":["ita1982160201291"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1982160201291","relation":{},"ISSN":["0399-0540"],"issn-type":[{"value":"0399-0540","type":"print"}],"subject":[],"published":{"date-parts":[[1982]]}}}