{"id":"https://openalex.org/W2085923075","doi":"https://doi.org/10.1017/s0960129501003565","title":"Fusion in relational structures and the verification of monadic second-order properties","display_name":"Fusion in relational structures and the verification of monadic second-order properties","publication_year":2002,"publication_date":"2002-04-01","ids":{"openalex":"https://openalex.org/W2085923075","doi":"https://doi.org/10.1017/s0960129501003565","mag":"2085923075"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129501003565","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029244225","display_name":"Bruno Courcelle","orcid":"https://orcid.org/0000-0002-5545-8970"},"institutions":[{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"B. COURCELLE","raw_affiliation_strings":["CNRS, UMR 5800, Universit\u00e9 Bordeaux I, 351 cours de la Lib\u00e9ration, 33405 Talence, France. (courcell@labri.u-bordeaux.fr, http://dept-info.labri.u-bordeaux.fr/~courcell/ActSci.html)"],"affiliations":[{"raw_affiliation_string":"CNRS, UMR 5800, Universit\u00e9 Bordeaux I, 351 cours de la Lib\u00e9ration, 33405 Talence, France. (courcell@labri.u-bordeaux.fr, http://dept-info.labri.u-bordeaux.fr/~courcell/ActSci.html)","institution_ids":["https://openalex.org/I15057530","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090746300","display_name":"Johann A. Makowsky","orcid":"https://orcid.org/0000-0002-3550-4271"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"J. A. MAKOWSKY","raw_affiliation_strings":["Department of Computer Science, Technion\u2013Israel Institute of Technology, 32000 Haifa, Israel. (janos@cs.technion.ac.il, http://cs.technion.ac.il/~janos)#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technion\u2013Israel Institute of Technology, 32000 Haifa, Israel. (janos@cs.technion.ac.il, http://cs.technion.ac.il/~janos)#TAB#","institution_ids":["https://openalex.org/I174306211"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.151,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.812345,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":"12","issue":"2","first_page":"203","last_page":"235"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.998,"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.998,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9926,"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/T10142","display_name":"Formal Methods in Verification","score":0.9919,"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/monadic-predicate-calculus","display_name":"Monadic predicate calculus","score":0.81366956},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.8064548},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5193354},{"id":"https://openalex.org/keywords/arity","display_name":"Arity","score":0.47237992},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.46873435},{"id":"https://openalex.org/keywords/algebraic-expression","display_name":"Algebraic expression","score":0.4144051}],"concepts":[{"id":"https://openalex.org/C124656256","wikidata":"https://www.wikidata.org/wiki/Q6897882","display_name":"Monadic predicate calculus","level":4,"score":0.81366956},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.8064548},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5857349},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5193354},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5181009},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4989376},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.47336623},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.47237992},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.46873435},{"id":"https://openalex.org/C18912844","wikidata":"https://www.wikidata.org/wiki/Q4724001","display_name":"Algebraic expression","level":3,"score":0.4144051},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.37374836},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34997433},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.32153198},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2592941},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14504522},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129501003565","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":16,"referenced_works":["https://openalex.org/W1586912793","https://openalex.org/W1608320983","https://openalex.org/W1992040352","https://openalex.org/W1993328543","https://openalex.org/W1993698725","https://openalex.org/W1994887153","https://openalex.org/W2013967419","https://openalex.org/W2015906942","https://openalex.org/W2016113382","https://openalex.org/W2025087469","https://openalex.org/W2043711611","https://openalex.org/W2053991811","https://openalex.org/W2063063505","https://openalex.org/W2064796716","https://openalex.org/W2067672151","https://openalex.org/W2089928579"],"related_works":["https://openalex.org/W4298774335","https://openalex.org/W3196464229","https://openalex.org/W2949820668","https://openalex.org/W2912152187","https://openalex.org/W2505105554","https://openalex.org/W2033265717","https://openalex.org/W2016122306","https://openalex.org/W1980102547","https://openalex.org/W1557907101","https://openalex.org/W123542748"],"abstract_inverted_index":{"Relational":[0],"structures":[1,106],"offer":[2],"a":[3,50,83,110,192],"common":[4],"framework":[5],"for":[6],"handling":[7],"graphs":[8],"and":[9,28,171],"hypergraphs":[10],"of":[11,20,25,30,49,60,90,139,168,179,182,189],"various":[12],"kinds.":[13],"Operations":[14],"like":[15],"disjoint":[16],"union,":[17],"the":[18,58,91,105,119,124,127,187],"creation":[19],"new":[21],"relations":[22,31],"by":[23,130],"means":[24,117],"quantifier-free":[26],"formulas,":[27],"relabellings":[29],"make":[32],"it":[33],"possible":[34],"to":[35,57,104],"denote":[36,108],"them":[37,157],"using":[38,137],"algebraic":[39,63,81,102,128],"expressions.":[40],"It":[41,134],"is":[42,52,109,121,186],"known":[43],"that":[44,70,86,118],"every":[45],"monadic":[46,111,131],"second-order":[47,112,132],"property":[48],"structure":[51,120],"verifiable":[53],"in":[54,79,177],"time":[55],"proportional":[56],"size":[59],"such":[61],"an":[62],"expression":[64,129],"defining":[65],"it.":[66],"We":[67,163],"prove":[68],"here":[69],"this":[71,144],"result":[72],"remains":[73],"true":[74],"if":[75],"we":[76,147,154],"also":[77,164],"use":[78],"these":[80,101],"expressions":[82,103],"fusion":[84,145,188],"operation":[85],"fuses":[87],"all":[88],"elements":[89],"domain":[92],"satisfying":[93,191],"some":[94],"unary":[95,160],"predicate.":[96,194],"The":[97],"value":[98],"mapping":[99],"from":[100],"they":[107],"definable":[113,122],"transduction":[114],",":[115],"which":[116,185],"inside":[123],"tree":[125],"representing":[126],"formulas.":[133],"follows":[135],"(by":[136],"results":[138],"other":[140],"articles)":[141],"that,":[142],"with":[143,158],"operation,":[146],"cannot":[148],"generate":[149,156],"more":[150],"graph":[151,175],"families,":[152],"but":[153],"can":[155],"less":[159],"auxiliary":[161],"predicates.":[162],"obtain":[165],"clear-cut":[166],"characterizations":[167],"Vertex":[169],"Replacement":[170,173],"Hyperedge":[172],"context-free":[174],"grammars":[176],"terms":[178],"four":[180],"types":[181],"operations,":[183],"amongst":[184],"vertices":[190],"specified":[193]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2085923075","counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2024-12-14T15:41:10.003396","created_date":"2016-06-24"}