{"id":"https://openalex.org/W146361780","doi":"https://doi.org/10.3217/jucs-003-11-1134","title":"Persistency of Confluence","display_name":"Persistency of Confluence","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W146361780","doi":"https://doi.org/10.3217/jucs-003-11-1134","mag":"146361780"},"language":"fr","primary_location":{"id":"pmh:oai:zenodo.org:6995444","is_oa":true,"landing_page_url":"https://zenodo.org/record/6995444","pdf_url":"https://zenodo.org/record/6995444","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 3((11)) 1134-1147","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6995444","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088810437","display_name":"Takahito Aoto","orcid":"https://orcid.org/0000-0003-0027-0759"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Takahito Aoto","raw_affiliation_strings":["Systems & Software Division"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Systems & Software Division","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008183055","display_name":"Yoshihito Toyama","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yoshihito Toyama","raw_affiliation_strings":["Systems & Software Division"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Systems & Software Division","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1406,"has_fulltext":true,"cited_by_count":27,"citation_normalized_percentile":{"value":0.56885787,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"IS-RR-96-0009","issue":null,"first_page":"1","last_page":"18"},"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.5620999932289124,"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.5620999932289124,"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/T11567","display_name":"semigroups and automata theory","score":0.23469999432563782,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.03790000081062317,"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/confluence","display_name":"Confluence","score":0.9759573936462402},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3048686981201172},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11521071195602417}],"concepts":[{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.9759573936462402},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3048686981201172},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11521071195602417}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:zenodo.org:6995444","is_oa":true,"landing_page_url":"https://zenodo.org/record/6995444","pdf_url":"https://zenodo.org/record/6995444","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 3((11)) 1134-1147","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.107.9426","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.9426","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_3_11/persistency_of_confluence/Aoto_T.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.24.6094","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.6094","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.isl.cs.gunma-u.ac.jp/~aoto/././papers/report/persistency.ps.gz","raw_type":"text"},{"id":"pmh:oai:irdb.nii.ac.jp:01333:0002027164","is_oa":false,"landing_page_url":"http://hdl.handle.net/10119/14482","pdf_url":null,"source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Research report (School of Information Science, Japan Advanced Institute of Science and Technology)","raw_type":"technical report"},{"id":"doi:10.3217/jucs-003-11-1134","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-003-11-1134","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"DataPaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6995444","is_oa":true,"landing_page_url":"https://zenodo.org/record/6995444","pdf_url":"https://zenodo.org/record/6995444","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 3((11)) 1134-1147","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W146361780.pdf","grobid_xml":"https://content.openalex.org/works/W146361780.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W3149147109","https://openalex.org/W2090659419","https://openalex.org/W2350400650","https://openalex.org/W158305784","https://openalex.org/W2491573813","https://openalex.org/W2756261468","https://openalex.org/W2316704281","https://openalex.org/W2811111741","https://openalex.org/W215183311"],"abstract_inverted_index":{"A":[0],"property":[1,21,32],"of":[2,54],"term":[3],"rewriting":[4],"systems":[5],"(TRSs,":[6],"for":[7,15],"short)":[8],"is":[9,46,50],"said":[10],"to":[11],"be":[12],"persistent":[13],"if":[14,22,25],"any":[16],"many-sorted":[17],"TRS":[18,29],"has":[19,30],"the":[20,31,55],"and":[23,74],"only":[24],"its":[26],"underlying":[27],"unsorted":[28],".":[33],"This":[34],"notion":[35],"was":[36],"introduced":[37],"by":[38],"H.":[39],"Zantema":[40],"(1994).":[41],"In":[42],"this":[43],"paper,":[44],"it":[45],"shown":[47],"that":[48],"confluence":[49],"persistent.":[51],"1.)":[52],"Proceedings":[53],"First":[56],"Japan-New":[57],"Zealand":[58],"Workshop":[59],"on":[60],"Logic":[61],"in":[62],"Computer":[63],"Science,":[64],"special":[65],"issue":[66],"editors":[67],"D.S.":[68],"Bridges,":[69],"C.S.":[70],"Calude,":[71],"M.J.":[72],"Dinneen":[73],"B.":[75],"Khoussainov.":[76]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-09-01T08:31:24.195828","created_date":"2025-10-10T00:00:00"}