{"id":"https://openalex.org/W42802763","doi":"https://doi.org/10.25596/jalc-2001-437","title":"The Boolean Structure of Dot-Depth One","display_name":"The Boolean Structure of Dot-Depth One","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W42802763","doi":"https://doi.org/10.25596/jalc-2001-437","mag":"42802763"},"language":"en","primary_location":{"id":"doi:10.25596/jalc-2001-437","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2001-437","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.25596/jalc-2001-437","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111915074","display_name":"Christian Gla\u00dfer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Glasser, Christian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5020319042","display_name":"Heinz Schmitz","orcid":"https://orcid.org/0000-0002-3371-6983"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schmitz, Heinz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2233,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.86062776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"6","issue":"4","first_page":"437","last_page":"452"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9330999851226807,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9330999851226807,"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/computer-science","display_name":"Computer science","score":0.429744154214859}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.429744154214859}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.25596/jalc-2001-437","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2001-437","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:42802763","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/jalc/jalc6.html#GlasserS01","pdf_url":null,"source":{"id":"https://openalex.org/S62907800","display_name":"Journal of automata, languages and combinatorics","issn_l":"1430-189X","issn":["1430-189X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310313929","host_organization_name":"University of Giessen","host_organization_lineage":["https://openalex.org/P4310313929"],"host_organization_lineage_names":["University of Giessen"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Journal of automata, languages and combinatorics","raw_type":null}],"best_oa_location":{"id":"doi:10.25596/jalc-2001-437","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2001-437","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1953638741","https://openalex.org/W2013085432","https://openalex.org/W2049227211","https://openalex.org/W2076508310","https://openalex.org/W2032250117","https://openalex.org/W2020558489","https://openalex.org/W2131742729","https://openalex.org/W2093397547","https://openalex.org/W1494501847","https://openalex.org/W1481654098","https://openalex.org/W111357255","https://openalex.org/W2783496464","https://openalex.org/W587223573","https://openalex.org/W2061489447","https://openalex.org/W2042177219","https://openalex.org/W2039934838","https://openalex.org/W2037320888","https://openalex.org/W2027683388","https://openalex.org/W200063938","https://openalex.org/W1523922893"],"abstract_inverted_index":{"By":[0],"definition,":[1],"the":[2,10,14,61,64,70,79,101,107,115],"class":[3,15],"$B_1$":[4,105],"of":[5,13,25,41,59,63,104,118],"dot-depth":[6,32],"one":[7,33],"languages":[8,17,34],"is":[9,84],"Boolean":[11,39,71,80],"closure":[12],"$B_{1/2}$":[16,83],"that":[18,78],"can":[19,35],"be":[20,36],"written":[21],"as":[22],"finite":[23],"unions":[24],"$u_0A^+u_1\\ldots":[26],"A^+u_n$,":[27],"where":[28],"$u_i\\in":[29],"A^*$.":[30],"So":[31],"described":[37],"by":[38],"combinations":[40],"patterns":[42],"$(u_0,u_1,\\ldots,u_n)$":[43],"in":[44,91,122,126],"words":[45],"which":[46,88],"captures":[47],"locally":[48],"testable":[49,52],"and":[50,86,94,110],"piecewise":[51],"properties.":[53],"From":[54],"a":[55,119,127],"descriptional":[56],"complexity":[57,95],"point":[58],"view,":[60],"lengths":[62],"$u_i$":[65],"reflect":[66],"sequential":[67,109],"aSpects,":[68],"while":[69],"operations":[72],"measure":[73],"combinatorial":[74,111],"complexity.":[75],"We":[76],"prove":[77],"hierarchy":[81],"over":[82],"decidable":[85],"strict,":[87],"has":[89],"consequences":[90],"first-order":[92],"logic":[93],"theory.":[96],"Moreover,":[97],"we":[98],"effectively":[99],"characterize":[100],"fine":[102],"structure":[103],"w.r.t.":[106],"mentioned":[108],"measures.":[112],"This":[113],"allows":[114],"exact":[116],"location":[117],"given":[120],"language":[121],"this":[123],"two-dimensional":[124],"landscape":[125],"computable":[128],"way.":[129]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2016-06-24T00:00:00"}