{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T13:44:41Z","timestamp":1769607881380,"version":"3.49.0"},"reference-count":25,"publisher":"World Scientific Pub Co Pte Lt","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2018,8]]},"abstract":"<jats:p> We prove the effective closure under complementation of the class of languages of scattered and countable [Formula: see text]-free posets recognized by branching automata. <\/jats:p>","DOI":"10.1142\/s0129054118420042","type":"journal-article","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T06:47:08Z","timestamp":1534834028000},"page":"769-799","source":"Crossref","is-referenced-by-count":4,"title":["Complementation of Branching Automata for Scattered and Countable N-Free Posets"],"prefix":"10.1142","volume":"29","author":[{"given":"Nicolas","family":"Bedon","sequence":"first","affiliation":[{"name":"LITIS (EA 4108), Universit\u00e9 de Rouen, France"}]}],"member":"219","published-online":{"date-parts":[[2018,8,21]]},"reference":[{"key":"S0129054118420042BIB001","series-title":"Series in Algebra","volume-title":"Finite Semigroups and Universal Algebra","volume":"3","author":"Almeida Jorge","year":"1994"},{"key":"S0129054118420042BIB002","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-540-92687-0_5","volume-title":"Logical Foundations of Computer Science","volume":"5407","author":"Bedon Nicolas","year":"2009"},{"issue":"4","key":"S0129054118420042BIB003","first-page":"1","volume":"11","author":"Bedon Nicolas","year":"2015","journal-title":"Logical Methods in Computer Sciences"},{"key":"S0129054118420042BIB005","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.01.016"},{"key":"S0129054118420042BIB006","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.009"},{"key":"S0129054118420042BIB007","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19600060105"},{"key":"S0129054118420042BIB011","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054105003285"},{"key":"S0129054118420042BIB013","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(70)80041-1"},{"key":"S0129054118420042BIB014","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(69)90070-2"},{"key":"S0129054118420042BIB015","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1961-0139530-9"},{"issue":"2","key":"S0129054118420042BIB016","first-page":"333","volume":"113","author":"Ginsburg Seymour","year":"1964","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0129054118420042BIB017","volume-title":"Set Theory","author":"Hausdorff Felix","year":"1957"},{"key":"S0129054118420042BIB018","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-002"},{"key":"S0129054118420042BIB020","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00370-5"},{"key":"S0129054118420042BIB021","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-49382-2_33"},{"key":"S0129054118420042BIB023","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00031-1"},{"key":"S0129054118420042BIB024","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.3077"},{"key":"S0129054118420042BIB025","doi-asserted-by":"publisher","DOI":"10.1007\/BF02478259"},{"key":"S0129054118420042BIB027","series-title":"Pure and Applied Mathematics","volume-title":"Infinite Words: Automata, Semigroups, Logic and Games","volume":"141","author":"Perrin Dominique","year":"2004"},{"key":"S0129054118420042BIB029","first-page":"1","volume":"141","author":"Rabin Michael O.","year":"1969","journal-title":"Trans. Amer. Math. Soc."},{"key":"S0129054118420042BIB030","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1983-0715851-3"},{"key":"S0129054118420042BIB031","volume-title":"Linear Orderings","author":"Rosenstein Joseph G.","year":"1982"},{"key":"S0129054118420042BIB033","doi-asserted-by":"publisher","DOI":"10.1007\/BF01691346"},{"key":"S0129054118420042BIB035","doi-asserted-by":"publisher","DOI":"10.1137\/0211023"},{"key":"S0129054118420042BIB037","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196793000287"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054118420042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T08:58:14Z","timestamp":1565168294000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054118420042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":25,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2018,8,21]]},"published-print":{"date-parts":[[2018,8]]}},"alternative-id":["10.1142\/S0129054118420042"],"URL":"https:\/\/doi.org\/10.1142\/s0129054118420042","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8]]}}}