{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:50:38Z","timestamp":1730296238056,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[1982,11,1]],"date-time":"1982-11-01T00:00:00Z","timestamp":404956800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[1982,11,1]],"date-time":"1982-11-01T00:00:00Z","timestamp":404956800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982,11]]},"DOI":"10.1109\/sfcs.1982.90","type":"proceedings-article","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T15:49:45Z","timestamp":1217519385000},"page":"236-243","source":"Crossref","is-referenced-by-count":0,"title":["Substitution of bounded rational cone"],"prefix":"10.1109","author":[{"given":"Joffroy","family":"Beauquier","sequence":"first","affiliation":[]},{"given":"Michel","family":"Latteux","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Introduction to Formal Language Theory","year":"1978","author":"harrison","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0021-9800(69)80111-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-2.1.326"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90020-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017296"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(79)90641-7"},{"journal-title":"Transductions rationnelles d\ufffdcroissantes et substitution","year":"1980","author":"leguy","key":"ref16"},{"journal-title":"On the usefulness of bifaithful rational cones","year":"1982","author":"latteux","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91032-7"},{"key":"ref4","article-title":"Lattice theory","volume":"xxv","author":"birkhoff","year":"1967","journal-title":"American Mathematical Society Colloquium Publications"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-09367-1"},{"journal-title":"Algebraic and Automata-theoretic Properties of Formal Languages","year":"1975","author":"ginsburg","key":"ref6"},{"journal-title":"Personal communication","year":"0","author":"eilenberg","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01691106"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(72)80038-2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(81)90456-3"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01752395"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(72)80039-4"}],"event":{"name":"23rd Annual Symposium on Foundations of Computer Science","start":{"date-parts":[[1982,11,3]]},"location":"Chicago, IL, USA","end":{"date-parts":[[1982,11,5]]}},"container-title":["23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4568363\/4568364\/04568397.pdf?arnumber=4568397","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,9]],"date-time":"2023-03-09T19:18:30Z","timestamp":1678389510000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4568397\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,11]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/sfcs.1982.90","relation":{},"subject":[],"published":{"date-parts":[[1982,11]]}}}