{"id":"https://openalex.org/W4402949040","doi":"https://doi.org/10.4204/eptcs.408.6","title":"Conditional Nested Pattern Matching in Interaction Net","display_name":"Conditional Nested Pattern Matching in Interaction Net","publication_year":2024,"publication_date":"2024-09-28","ids":{"openalex":"https://openalex.org/W4402949040","doi":"https://doi.org/10.4204/eptcs.408.6"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.408.6","is_oa":true,"landing_page_url":"http://dx.doi.org/10.4204/eptcs.408.6","pdf_url":"https://arxiv.org/pdf/2410.00540","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/2410.00540","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013224660","display_name":"Shinya Sato","orcid":"https://orcid.org/0000-0003-3065-4526"},"institutions":[{"id":"https://openalex.org/I6178835","display_name":"Ibaraki University","ror":"https://ror.org/00sjd5653","country_code":"JP","type":"education","lineage":["https://openalex.org/I6178835"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Shinya Sato","raw_affiliation_strings":["Institute for Liberal Arts Education Ibaraki University , Ibaraki , Japan"],"affiliations":[{"raw_affiliation_string":"Institute for Liberal Arts Education Ibaraki University , Ibaraki , Japan","institution_ids":["https://openalex.org/I6178835"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013224660"],"corresponding_institution_ids":["https://openalex.org/I6178835"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14612624,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"408","issue":null,"first_page":"90","last_page":"106"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9891999959945679,"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/matching","display_name":"Matching (statistics)","score":0.5531305074691772},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.5475174784660339},{"id":"https://openalex.org/keywords/nested-set-model","display_name":"Nested set model","score":0.460645467042923},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.439873069524765},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3737407922744751},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.338312566280365},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.15570402145385742},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.04958203434944153}],"concepts":[{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5531305074691772},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.5475174784660339},{"id":"https://openalex.org/C103000020","wikidata":"https://www.wikidata.org/wiki/Q1978426","display_name":"Nested set model","level":3,"score":0.460645467042923},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.439873069524765},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3737407922744751},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.338312566280365},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.15570402145385742},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.04958203434944153},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4204/eptcs.408.6","is_oa":true,"landing_page_url":"http://dx.doi.org/10.4204/eptcs.408.6","pdf_url":"https://arxiv.org/pdf/2410.00540","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2410.00540","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.00540","pdf_url":"https://arxiv.org/pdf/2410.00540","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.4204/eptcs.408.6","is_oa":true,"landing_page_url":"http://dx.doi.org/10.4204/eptcs.408.6","pdf_url":"https://arxiv.org/pdf/2410.00540","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402949040.pdf","grobid_xml":"https://content.openalex.org/works/W4402949040.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W244585509","https://openalex.org/W1430647328","https://openalex.org/W1492571063","https://openalex.org/W1980647766","https://openalex.org/W2007270285","https://openalex.org/W2034297217","https://openalex.org/W2063179190","https://openalex.org/W2182283312","https://openalex.org/W2294530123","https://openalex.org/W2338560771","https://openalex.org/W4240359197"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793","https://openalex.org/W4238204885"],"abstract_inverted_index":{"Interaction":[0],"nets":[1],"are":[2],"a":[3,14,60,73,91,106],"form":[4],"of":[5,27,35,82],"restricted":[6],"graph":[7],"rewrite":[8],"system":[9],"that":[10,75,88],"can":[11],"serve":[12],"as":[13],"graphical":[15],"or":[16],"textual":[17],"programming":[18],"language.":[19],"As":[20],"such,":[21],"benefits":[22,78],"include":[23,51],"one-step":[24],"confluence,":[25],"ease":[26],"parallelism":[28],"and":[29,54,68,79],"explicit":[30],"garbage":[31],"collection.":[32],"However,":[33],"some":[34],"these":[36,77],"restrictions":[37],"burden":[38],"the":[39],"programmer,":[40],"so":[41,71],"they":[42],"have":[43],"been":[44],"extended":[45],"in":[46,72,100],"several":[47],"ways,":[48],"notably":[49],"to":[50,63,69,93,109],"data":[52],"types":[53],"conditional":[55],"rules.":[56],"This":[57],"paper":[58],"introduces":[59],"further":[61],"extension":[62,97],"allow":[64],"nested":[65],"pattern":[66,112],"matching":[67],"do":[70],"way":[74],"preserves":[76],"fundamental":[80],"properties":[81],"interaction":[83],"nets.":[84],"We":[85],"also":[86],"show":[87],"by":[89],"introducing":[90],"translation":[92],"non-nested":[94],"matching,":[95],"this":[96,111],"is":[98],"conservative":[99],"rewriting.":[101],"In":[102],"addition,":[103],"we":[104],"propose":[105],"new":[107],"notation":[108],"express":[110],"matching.":[113]},"counts_by_year":[],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}