{"id":"https://openalex.org/W2140287654","doi":"https://doi.org/10.1007/bf02946611","title":"Completeness of the accumulation calculus","display_name":"Completeness of the accumulation calculus","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W2140287654","doi":"https://doi.org/10.1007/bf02946611","mag":"2140287654"},"language":"en","primary_location":{"id":"doi:10.1007/bf02946611","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02946611","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","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/A5058941949","display_name":"Huiqun Yu","orcid":"https://orcid.org/0000-0002-1899-1135"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Huiqun Yu","raw_affiliation_strings":["Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036677404","display_name":"Song Guo-xin","orcid":null},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guoxin Song","raw_affiliation_strings":["Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100585496","display_name":"Yongqiang Sun","orcid":"https://orcid.org/0009-0009-7680-552X"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongqiang Sun","raw_affiliation_strings":["Department of Computer Science and Engineering, Shanghai Jiaotong University, 200030, Shanghai, P.R. China","Dept. of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Shanghai Jiaotong University, 200030, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Dept. of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5058941949"],"corresponding_institution_ids":["https://openalex.org/I143593769"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.16916092,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"13","issue":"1","first_page":"25","last_page":"31"},"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.9997000098228455,"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.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9919000267982483,"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/computer-science","display_name":"Computer science","score":0.7243911027908325},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.6992436051368713},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6662099361419678},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6514293551445007},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5915979146957397},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5520718693733215},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.465454638004303},{"id":"https://openalex.org/keywords/proof-calculus","display_name":"Proof calculus","score":0.45730096101760864},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3370177149772644},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2918100953102112},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.2739632725715637},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2212512493133545}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7243911027908325},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.6992436051368713},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6662099361419678},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6514293551445007},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5915979146957397},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5520718693733215},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.465454638004303},{"id":"https://openalex.org/C6489637","wikidata":"https://www.wikidata.org/wiki/Q7250002","display_name":"Proof calculus","level":3,"score":0.45730096101760864},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3370177149772644},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2918100953102112},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.2739632725715637},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2212512493133545},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf02946611","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02946611","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1750187267","https://openalex.org/W1985777976","https://openalex.org/W1992552504","https://openalex.org/W2023808162","https://openalex.org/W2038569232","https://openalex.org/W2167467151","https://openalex.org/W2252835542","https://openalex.org/W3142067920"],"related_works":["https://openalex.org/W2996932295","https://openalex.org/W2092656858","https://openalex.org/W2168791893","https://openalex.org/W1565922073","https://openalex.org/W2759584604","https://openalex.org/W2367507878","https://openalex.org/W2544900219","https://openalex.org/W946220898","https://openalex.org/W139807330","https://openalex.org/W59129029"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}