{"id":"https://openalex.org/W135216162","doi":"https://doi.org/10.1051/ita/1996300301811","title":"A more efficient notion of zigzag stability","display_name":"A more efficient notion of zigzag stability","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W135216162","doi":"https://doi.org/10.1051/ita/1996300301811","mag":"135216162"},"language":"en","primary_location":{"id":"doi:10.1051/ita/1996300301811","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1996300301811","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1996/03/ita1996300301811.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.rairo-ita.org/articles/ita/pdf/1996/03/ita1996300301811.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5106034446","display_name":"Bertrand Le Sa\u00ebc","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"B. Le Sa\u00ebc","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047655754","display_name":"Igor Litovsky","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"I. Litovsky","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5067195329","display_name":"Bruno Patrou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"B. Patrou","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5168,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.60041389,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"30","issue":"3","first_page":"181","last_page":"194"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/zigzag","display_name":"Zigzag","score":0.9895755052566528},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.8122223615646362},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.7167773246765137},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5488614439964294},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4496111571788788},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40038803219795227},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3930662274360657},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.29207643866539},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.10445117950439453},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.058460384607315063}],"concepts":[{"id":"https://openalex.org/C192271897","wikidata":"https://www.wikidata.org/wiki/Q198438","display_name":"Zigzag","level":2,"score":0.9895755052566528},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8122223615646362},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.7167773246765137},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5488614439964294},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4496111571788788},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40038803219795227},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3930662274360657},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.29207643866539},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.10445117950439453},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.058460384607315063},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1051/ita/1996300301811","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1996300301811","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1996/03/ita1996300301811.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},{"id":"pmh:oai:edpsciences.org:dkey/10.1051/ita/1996300301811","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400744","display_name":"Springer Link (Chiba Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I8488066","host_organization_name":"Chiba Institute of Technology","host_organization_lineage":["https://openalex.org/I8488066"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1051/ita/1996300301811","raw_type":"Text"},{"id":"pmh:oai:numdam.org:ITA_1996__30_3_181_0","is_oa":false,"landing_page_url":"http://www.numdam.org/item/ITA_1996__30_3_181_0/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1051/ita/1996300301811","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1996300301811","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1996/03/ita1996300301811.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W135216162.pdf","grobid_xml":"https://content.openalex.org/works/W135216162.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W62766249","https://openalex.org/W105663962","https://openalex.org/W106830255","https://openalex.org/W196919032","https://openalex.org/W1977193848","https://openalex.org/W1978405212","https://openalex.org/W2014239686","https://openalex.org/W2054801208","https://openalex.org/W2062371571","https://openalex.org/W2091395984"],"related_works":["https://openalex.org/W2053762111","https://openalex.org/W2440791454","https://openalex.org/W4297670065","https://openalex.org/W1618267488","https://openalex.org/W1543051890","https://openalex.org/W2611810425","https://openalex.org/W4205250428","https://openalex.org/W1563786920","https://openalex.org/W1567962086","https://openalex.org/W2056142535"],"abstract_inverted_index":{"a":[0,13,36,63,67,193],"dfinition":[1,15,28,94,109,122],"of":[2,16,29,51,77,84,195],"zigzag":[3,6,17,40,52,68,97,101,112,140,163],"stability":[4,30,41,53],"for":[5,31],"submonoids":[7],"is":[8,20,42,66,80,210],"given.":[9],"We":[10,34],"give":[11,35],"hre":[12],"new":[14],"stability,":[18],"which":[19],"simpler":[21],"and":[22,212],"very":[23],"close":[24],"to":[25,56,60],"the":[26,45,75,216],"usual":[27],"ordinary":[32],"submonoids.":[33],"short":[37],"proof":[38],"that":[39,83,204],"decidable":[43,142],"in":[44,72],"rational":[46,64],"case.":[47],"Moreover":[48],"this":[49,78],"notion":[50],"enables":[54],"one":[55],"obtain":[57],"an":[58],"algorithm":[59,79,88],"dcide":[61],"whether":[62],"language":[65],"code.":[69],"Despite":[70],"being":[71],"exponential":[73],"time,":[74],"complexity":[76],"better":[81],"than":[82],"every":[85],"other":[86],"known":[87],"Rsum.":[89],"-Dans":[90],"[6]":[91],"une":[92,107,131],"premire":[93],"de":[95,110,120,124],"stabilit":[96,111,125,139],"pour":[98,126,154],"les":[99,127],"sous-monodes":[100,128],"est":[102,114,141,160,169],"donne.":[103],"Nous":[104],"donnons":[105],"ici":[106],"autre":[108],"qui":[113],"plus":[115,118],"simple":[116],"et":[117],"proche":[119],"la":[121,167],"habituelle":[123],"ordinaires.":[129],"Par":[130],"preuve":[132],"trs":[133],"courte,":[134],"on":[135],"montre":[136],"que":[137,173],"cette":[138],"dans":[143],"le":[144],"cas":[145],"rationnel":[146,159],"En":[147],"outre":[148],"elle":[149],"permet":[150],"d'obtenir":[151],"un":[152,157,161],"algorithme":[153,165],"dcider":[155],"si":[156],"langage":[158],"code":[162],";":[164],"dont":[166],"complexit":[168],"exponentielle":[170],"mais":[171],"meilleure":[172],"celle":[174],"des":[175],"autres":[176],"algorithmes":[177],"connus":[178],"[3],":[179],"[8],":[180],"[6].":[181],"PROPOSITION":[182],"2":[183],"[5]:":[184],"Let":[185,187],"I4*.":[186],"(x\\,...,":[188,205],"x":[189,206],"n":[190,207],")":[191,202,209],"be":[192,215],"z-calculus":[194],"e":[196],"with":[197],"context":[198],"(w.":[199],"w":[200],"!":[201],"such":[203],"-\\":[208],"l-reduced":[211],"let":[213],"v,":[214],"longest":[217]},"counts_by_year":[{"year":2015,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}