{"id":"https://openalex.org/W2071744167","doi":"https://doi.org/10.1145/2603088.2603130","title":"Preservation and decomposition theorems for bounded degree structures","display_name":"Preservation and decomposition theorems for bounded degree structures","publication_year":2014,"publication_date":"2014-07-14","ids":{"openalex":"https://openalex.org/W2071744167","doi":"https://doi.org/10.1145/2603088.2603130","mag":"2071744167"},"language":"en","primary_location":{"id":"doi:10.1145/2603088.2603130","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2603088.2603130","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"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/A5034013129","display_name":"Frederik Harwath","orcid":null},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Frederik Harwath","raw_affiliation_strings":["Goethe-Universit\u00e4t Frankfurt am Main"],"affiliations":[{"raw_affiliation_string":"Goethe-Universit\u00e4t Frankfurt am Main","institution_ids":["https://openalex.org/I114090438"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028909650","display_name":"Lucas Heimberg","orcid":null},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lucas Heimberg","raw_affiliation_strings":["Goethe-Universit\u00e4t Frankfurt am Main"],"affiliations":[{"raw_affiliation_string":"Goethe-Universit\u00e4t Frankfurt am Main","institution_ids":["https://openalex.org/I114090438"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019365566","display_name":"Nicole Schweikardt","orcid":"https://orcid.org/0000-0001-5705-1675"},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nicole Schweikardt","raw_affiliation_strings":["Goethe-Universit\u00e4t Frankfurt am Main"],"affiliations":[{"raw_affiliation_string":"Goethe-Universit\u00e4t Frankfurt am Main","institution_ids":["https://openalex.org/I114090438"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5034013129"],"corresponding_institution_ids":["https://openalex.org/I114090438"],"apc_list":null,"apc_paid":null,"fwci":1.0967,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78916758,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9991999864578247,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9991999864578247,"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/T11567","display_name":"semigroups and automata theory","score":0.9977999925613403,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9962000250816345,"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/homomorphism","display_name":"Homomorphism","score":0.8023735284805298},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.7500724792480469},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.6768190860748291},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6538227200508118},{"id":"https://openalex.org/keywords/existentialism","display_name":"Existentialism","score":0.5889685153961182},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.5783253908157349},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5766446590423584},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.44146841764450073},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4241587817668915},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2828075885772705},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1492624580860138},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.07974427938461304},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.05611902475357056}],"concepts":[{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.8023735284805298},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.7500724792480469},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.6768190860748291},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6538227200508118},{"id":"https://openalex.org/C127882523","wikidata":"https://www.wikidata.org/wiki/Q38066","display_name":"Existentialism","level":2,"score":0.5889685153961182},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5783253908157349},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5766446590423584},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.44146841764450073},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4241587817668915},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2828075885772705},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1492624580860138},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.07974427938461304},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.05611902475357056},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2603088.2603130","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2603088.2603130","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.683.9378","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.683.9378","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.tks.informatik.uni-frankfurt.de/data/doc/HarwathHeimbergSchweikardt_2014.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W51516856","https://openalex.org/W1482193060","https://openalex.org/W1489366126","https://openalex.org/W1780759614","https://openalex.org/W1964795769","https://openalex.org/W1979514837","https://openalex.org/W1980240005","https://openalex.org/W1990326418","https://openalex.org/W2018476992","https://openalex.org/W2035165468","https://openalex.org/W2046731783","https://openalex.org/W2055686117","https://openalex.org/W2085467680","https://openalex.org/W2132012728","https://openalex.org/W2963528658","https://openalex.org/W4237831588"],"related_works":["https://openalex.org/W2385364491","https://openalex.org/W2625646796","https://openalex.org/W3041624257","https://openalex.org/W219899776","https://openalex.org/W2158722153","https://openalex.org/W4210465737","https://openalex.org/W2117548279","https://openalex.org/W2356175078","https://openalex.org/W2474767644","https://openalex.org/W2974802953"],"abstract_inverted_index":{"We":[0],"provide":[1],"elementary":[2],"algorithms":[3],"for":[4,8,72],"two":[5],"preservation":[6],"theorems":[7],"first-order":[9],"sentences":[10],"with":[11],"modulo":[12],"m":[13],"counting":[14],"quantifiers":[15],"(FO+MODm)":[16],"on":[17,39],"the":[18,56,79],"class":[19],"Cd":[20],"of":[21,25,78],"all":[22],"finite":[23],"structures":[24],"degree":[26],"at":[27],"most":[28],"d:":[29],"For":[30,54],"each":[31],"FO+MODm-sentence":[32],"that":[33,71],"is":[34,65,84],"preserved":[35],"under":[36],"extensions":[37],"(homomorphisms)":[38],"Cd,":[40],"a":[41,74],"Cd-equivalent":[42],"existential":[43,81],"(existential-positive)":[44,82],"FO-sentence":[45],"can":[46],"be":[47],"constructed":[48],"in":[49],"6-fold":[50],"(4-fold)":[51,60],"exponential":[52,61,76],"time.":[53],"FO-sentences,":[55],"algorithm":[57],"has":[58],"5-fold":[59],"time":[62],"complexity.":[63],"This":[64],"complemented":[66],"by":[67],"lower":[68],"bounds":[69],"showing":[70],"FO-sentences":[73],"3-fold":[75],"blow-up":[77],"computed":[80],"sentence":[83],"unavoidable.":[85]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}