{"id":"https://openalex.org/W4399036951","doi":"https://doi.org/10.29007/8l13","title":"Tree-Verifiable Graph Grammars","display_name":"Tree-Verifiable Graph Grammars","publication_year":2024,"publication_date":"2024-05-27","ids":{"openalex":"https://openalex.org/W4399036951","doi":"https://doi.org/10.29007/8l13"},"language":"en","primary_location":{"id":"doi:10.29007/8l13","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8l13","pdf_url":"https://easychair.org/publications/open/8LGS","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/8LGS","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094040091","display_name":"Mark Chimes","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Mark Chimes","raw_affiliation_strings":["TU Wien - Vienna University of Technology = Technische Universit\u00e4t Wien (Technische Universit\u00e4t Wien (TUW) - Karlsplatz 13, 1040 Vienna - Austria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien - Vienna University of Technology = Technische Universit\u00e4t Wien (Technische Universit\u00e4t Wien (TUW) - Karlsplatz 13, 1040 Vienna - Austria)","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074143130","display_name":"Radu Iosif","orcid":"https://orcid.org/0000-0003-3204-3294"},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Radu Iosif","raw_affiliation_strings":["VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063337176","display_name":"Florian Zuleger","orcid":"https://orcid.org/0000-0003-1468-8398"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Florian Zuleger","raw_affiliation_strings":["TU Wien - Vienna University of Technology = Technische Universit\u00e4t Wien (Technische Universit\u00e4t Wien (TUW) - Karlsplatz 13, 1040 Vienna - Austria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien - Vienna University of Technology = Technische Universit\u00e4t Wien (Technische Universit\u00e4t Wien (TUW) - Karlsplatz 13, 1040 Vienna - Austria)","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.0443,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.84672224,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"100","issue":null,"first_page":"165","last_page":"148"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9975000023841858,"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.9975000023841858,"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.9948999881744385,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9886000156402588,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/tree-depth","display_name":"Tree-depth","score":0.6002854108810425},{"id":"https://openalex.org/keywords/tree-adjoining-grammar","display_name":"Tree-adjoining grammar","score":0.5972480177879333},{"id":"https://openalex.org/keywords/l-attributed-grammar","display_name":"L-attributed grammar","score":0.5808647871017456},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5325170159339905},{"id":"https://openalex.org/keywords/context-sensitive-grammar","display_name":"Context-sensitive grammar","score":0.5133330225944519},{"id":"https://openalex.org/keywords/clique-width","display_name":"Clique-width","score":0.470132440328598},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4622269868850708},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4562041759490967},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4486161768436432},{"id":"https://openalex.org/keywords/regular-tree-grammar","display_name":"Regular tree grammar","score":0.43496376276016235},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.41537562012672424},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4075682759284973},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.36692795157432556},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.25552868843078613},{"id":"https://openalex.org/keywords/pathwidth","display_name":"Pathwidth","score":0.22732022404670715},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.1719816029071808},{"id":"https://openalex.org/keywords/voltage-graph","display_name":"Voltage graph","score":0.15418973565101624},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14855673909187317},{"id":"https://openalex.org/keywords/mildly-context-sensitive-grammar-formalism","display_name":"Mildly context-sensitive grammar formalism","score":0.08138182759284973}],"concepts":[{"id":"https://openalex.org/C69284658","wikidata":"https://www.wikidata.org/wiki/Q7837500","display_name":"Tree-depth","level":5,"score":0.6002854108810425},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.5972480177879333},{"id":"https://openalex.org/C67621940","wikidata":"https://www.wikidata.org/wiki/Q3113340","display_name":"L-attributed grammar","level":4,"score":0.5808647871017456},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5325170159339905},{"id":"https://openalex.org/C125950753","wikidata":"https://www.wikidata.org/wiki/Q908674","display_name":"Context-sensitive grammar","level":4,"score":0.5133330225944519},{"id":"https://openalex.org/C5737132","wikidata":"https://www.wikidata.org/wiki/Q1101814","display_name":"Clique-width","level":5,"score":0.470132440328598},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4622269868850708},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4562041759490967},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4486161768436432},{"id":"https://openalex.org/C57097763","wikidata":"https://www.wikidata.org/wiki/Q7309622","display_name":"Regular tree grammar","level":5,"score":0.43496376276016235},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.41537562012672424},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4075682759284973},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.36692795157432556},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.25552868843078613},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.22732022404670715},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.1719816029071808},{"id":"https://openalex.org/C22149727","wikidata":"https://www.wikidata.org/wiki/Q7940747","display_name":"Voltage graph","level":4,"score":0.15418973565101624},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14855673909187317},{"id":"https://openalex.org/C172265290","wikidata":"https://www.wikidata.org/wiki/Q6134957","display_name":"Mildly context-sensitive grammar formalism","level":4,"score":0.08138182759284973},{"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/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.0},{"id":"https://openalex.org/C69298649","wikidata":"https://www.wikidata.org/wiki/Q6045214","display_name":"Emergent grammar","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/8l13","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8l13","pdf_url":"https://easychair.org/publications/open/8LGS","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04763023v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04763023","pdf_url":"https://hal.science/hal-04763023/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 2024, Mauritius, Mauritius. pp.165-148, ⟨10.29007/8l13⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.29007/8l13","is_oa":true,"landing_page_url":"https://doi.org/10.29007/8l13","pdf_url":"https://easychair.org/publications/open/8LGS","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G630843984","display_name":"Logics for Computer Science Program at TU Wien","funder_award_id":"101034440","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6903635557","display_name":"Non-Aggregative Resource Compositions","funder_award_id":"ANR-21-CE48-0011","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399036951.pdf"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W656700481","https://openalex.org/W1522222439","https://openalex.org/W1535627680","https://openalex.org/W1910824881","https://openalex.org/W1974265510","https://openalex.org/W1980992394","https://openalex.org/W2028357390","https://openalex.org/W2101036675","https://openalex.org/W2116341502","https://openalex.org/W2127608095","https://openalex.org/W2131742729","https://openalex.org/W2134871878","https://openalex.org/W2137628566","https://openalex.org/W2170577595","https://openalex.org/W2908570609","https://openalex.org/W2930217943","https://openalex.org/W3032212576","https://openalex.org/W4292440042","https://openalex.org/W4296613475","https://openalex.org/W4399036951"],"related_works":["https://openalex.org/W1579216431","https://openalex.org/W2572467330","https://openalex.org/W2057859445","https://openalex.org/W2734718483","https://openalex.org/W3037722668","https://openalex.org/W2336577598","https://openalex.org/W2149831156","https://openalex.org/W4297836258","https://openalex.org/W1576087595","https://openalex.org/W1491614438"],"abstract_inverted_index":{"Hyperedge-Replacement":[0],"grammars":[1,75,95,170,195],"(HR)":[2],"have":[3,181],"been":[4],"introduced":[5],"by":[6,115,221],"Courcelle":[7,62],"in":[8,86,99],"order":[9],"to":[10,21,156],"extend":[11],"the":[12,31,37,53,64,78,81,100,148,151,161,192],"notion":[13,65,139],"of":[14,23,40,66,73,80,84,107,109,129,140,153,160,167,196,208,214],"context-free":[15],"sets":[16],"from":[17],"words":[18,28,41],"and":[19,29,47,136,178,213],"trees":[20,30,43,152],"graphs":[22,85,108,209],"bounded":[24,110,141,145,182,215],"tree-width.":[25,184],"While":[26],"for":[27,59],"syntactic":[32,71,127],"restrictions":[33],"that":[34,36,76,102,172,179,188,205,210],"guarantee":[35],"associated":[38,82,174],"languages":[39,83,175],"resp.":[42],"are":[44,51,96,176],"regular":[45,67,117,193],"-":[46,50],"hence,":[48],"MSO-definable":[49],"known,":[52],"situation":[54],"is":[55,171,211],"far":[56],"more":[57],"complicated":[58],"graphs.":[60],"Here,":[61],"proposed":[63],"graph":[68,118,134,169,194,224],"grammars,":[69,131,135],"a":[70,116,125,137,154,158,201,222],"restriction":[72,128],"HR":[74,130],"guarantees":[77],"definability":[79],"Counting":[87],"Monadic":[88],"Second":[89],"Order":[90],"Logic":[91],"(CMSO).":[92],"However,":[93],"these":[94],"not":[97,103],"complete":[98],"sense":[101],"every":[104,206],"CMSO-definable":[105,177,212],"set":[106],"tree-width":[111,217],"can":[112,218],"be":[113,157,219],"generated":[114,220],"grammar.":[119,225],"In":[120],"this":[121],"paper,":[122],"we":[123,199],"introduce":[124],"new":[126,138],"called":[132,143],"tree-verifiable":[133,168,223],"tree-width,":[142,146],"embeddable":[144,183,216],"where":[147],"later":[149],"restricts":[150],"tree-decomposition":[155],"subgraph":[159],"analyzed":[162],"graph.":[163],"The":[164],"main":[165],"property":[166],"their":[173],"they":[180,189],"We":[185],"show":[186],"further":[187],"strictly":[190],"generalize":[191],"Courcelle.":[197],"Finally,":[198],"establish":[200],"completeness":[202],"result,":[203],"showing":[204],"language":[207]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}