{"id":"https://openalex.org/W2101405862","doi":"https://doi.org/10.1017/s0960129507006081","title":"Theory and applications of term graph rewriting: introduction","display_name":"Theory and applications of term graph rewriting: introduction","publication_year":2007,"publication_date":"2007-06-01","ids":{"openalex":"https://openalex.org/W2101405862","doi":"https://doi.org/10.1017/s0960129507006081","mag":"2101405862"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129507006081","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129507006081","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-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/A5064069533","display_name":"Ian Mackie","orcid":"https://orcid.org/0000-0001-8954-7173"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]},{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]}],"countries":["FR","GB"],"is_corresponding":true,"raw_author_name":"IAN MACKIE","raw_affiliation_strings":["King's College London, Department of Computer Science, Strand, London WC2R 2LS, U.K. and LIX, \u00c9cole Polytechnique, 91128 Palaiseau Cedex, France","King's College London, Department of Computer Science, Strand, London WC2R 2LS, U.K. and LIX, \u00c9cole Polytechnique, 91128 Palaiseau Cedex, France#TAB#"],"affiliations":[{"raw_affiliation_string":"King's College London, Department of Computer Science, Strand, London WC2R 2LS, U.K. and LIX, \u00c9cole Polytechnique, 91128 Palaiseau Cedex, France","institution_ids":["https://openalex.org/I183935753","https://openalex.org/I142476485"]},{"raw_affiliation_string":"King's College London, Department of Computer Science, Strand, London WC2R 2LS, U.K. and LIX, \u00c9cole Polytechnique, 91128 Palaiseau Cedex, France#TAB#","institution_ids":["https://openalex.org/I183935753","https://openalex.org/I142476485"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043880052","display_name":"Detlef Plump","orcid":"https://orcid.org/0000-0002-1148-822X"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"DETLEF PLUMP","raw_affiliation_strings":["Department of Computer Science, The University of York, Heslington, York YO10 5DD, U.K","Department of Computer Science, The University of York, Heslington, York, YO10 5DD, U.K"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of York, Heslington, York YO10 5DD, U.K","institution_ids":["https://openalex.org/I52099693"]},{"raw_affiliation_string":"Department of Computer Science, The University of York, Heslington, York, YO10 5DD, U.K","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064069533"],"corresponding_institution_ids":["https://openalex.org/I142476485","https://openalex.org/I183935753"],"apc_list":null,"apc_paid":null,"fwci":0.4119,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.68605978,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"3","first_page":"361","last_page":"362"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9962999820709229,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9858999848365784,"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/graph-rewriting","display_name":"Graph rewriting","score":0.8764171004295349},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7587196826934814},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7003839015960693},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5840564370155334},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.5528179407119751},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5065032243728638},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.4860456585884094},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4425967335700989},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.432275652885437},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.42229849100112915},{"id":"https://openalex.org/keywords/clique-width","display_name":"Clique-width","score":0.4216550886631012},{"id":"https://openalex.org/keywords/voltage-graph","display_name":"Voltage graph","score":0.19537541270256042},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.14692232012748718}],"concepts":[{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.8764171004295349},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7587196826934814},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7003839015960693},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5840564370155334},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.5528179407119751},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5065032243728638},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.4860456585884094},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4425967335700989},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.432275652885437},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.42229849100112915},{"id":"https://openalex.org/C5737132","wikidata":"https://www.wikidata.org/wiki/Q1101814","display_name":"Clique-width","level":5,"score":0.4216550886631012},{"id":"https://openalex.org/C22149727","wikidata":"https://www.wikidata.org/wiki/Q7940747","display_name":"Voltage graph","level":4,"score":0.19537541270256042},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.14692232012748718},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129507006081","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129507006081","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320337380","display_name":"Division of Mathematical Sciences","ror":"https://ror.org/051fftw81"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1761458962","https://openalex.org/W2463026518","https://openalex.org/W4206221271","https://openalex.org/W1515515243","https://openalex.org/W1504820687","https://openalex.org/W3172487478","https://openalex.org/W2504157767","https://openalex.org/W2475418661","https://openalex.org/W2491573813","https://openalex.org/W1569493237"],"abstract_inverted_index":{"Term":[0],"graph":[1,21],"rewriting":[2],"is":[3,32,49],"concerned":[4],"with":[5,27],"the":[6,14,40],"representation":[7],"of":[8,16,25,42,53],"functional":[9],"expressions":[10,18],"as":[11],"graphs":[12,28],"and":[13,46,60],"evaluation":[15],"these":[17],"by":[19],"rule-based":[20],"transformation.":[22],"The":[23],"advantage":[24],"computing":[26],"rather":[29],"than":[30],"terms":[31],"that":[33],"common":[34],"subexpressions":[35],"can":[36],"be":[37],"shared,":[38],"improving":[39],"efficiency":[41],"computations":[43],"in":[44,51],"space":[45],"time.":[47],"Sharing":[48],"ubiquitous":[50],"implementations":[52],"programming":[54],"languages:":[55],"many":[56],"functional,":[57],"logic,":[58],"object-oriented":[59],"concurrent":[61],"calculi":[62],"are":[63],"implemented":[64],"using":[65],"term":[66],"graphs.":[67]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}