{“id”：“https://openalex.org/W2167808031“，”doi“：”https://doi.org/10.1016/j.ic.2008.08.006“，”title“：”A coinductive calculation of binary trees“，”display_name“：”B coinductional calculations of binarys“，”publication_year“：2010，”publitation_date“：”2010-05-01“，”ids“：{”openalex“：”https://openalex.org/W2167808031“，”doi“：”https://doi.org/10.1016/j.ic.2008.08.006“，”mag“：”2167808031“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.ic2008.08.006“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://ir.cwi.nl/pub/11938/11938D.pdf“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5100658822“，”display_name“：”Alexandra Silva“，”orcid“：”https://orcid.org/0000-0001-5014-9784}，“机构”：[{“id”：https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”网址：https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Alexandra Silva“，”raw _affiliation_strings“：[“Centrum voor Wiskunde en Informatica（CWI），荷兰”]，”affiliations“：[{”raw _affiliation_string“：”Centrum voor Wiskonde en Informationca（CWII），荷兰“，”institution_ids“：[https://openalex.org/I1341640284“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5062502864“，”display_name“：”Marcello Bonsangue“，”orcid“：”https://orcid.org/0000-0003-3746-3618}，“机构”：[{“id”：https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}，{”id“：”https://openalex.org/I865915315“，”display_name“：”阿姆斯特丹Vrije Universiteit“，”ror“：”https://ror.org/008xxew50“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I865915315“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Jan Rutten“，”raw _affiliation_strings“：[“Centrum voor Wiskunde en Informatica（CWI），荷兰”，“荷兰阿姆斯特丹Vrije Universiteit（VUA）”]，“afliations”：[{“raw_affiliation _string”：“Centrun voor Wishunde en Infoatica（CVI），荷兰人”，“institution_ids”：[”https://openalex.org/I1341640284“]}，{”raw_affiliation_string“：”荷兰阿姆斯特丹Vrije大学（VUA）“，”institution_ids“：[”https://openalex.org/I865915315“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5100658822“]，”对应的机构ID“：[”https://openalex.org/I1341640284“]，”apc_list“：{”value“：2630，”currency“：”USD“，”value_USD“：2640，”provenance“：”doaj“}，”apc _pay“：null，”fwci“：3.289，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：8，”citation_normalized_percentile“：{”value _by_percentile_year“：{”最小“：83，”最大“：84}，”书目“：{”volume“：”208“，”issue“：”5“，”first_page“：”578“，”last_page“：“593”}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9988，“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“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9988，“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“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9971，”subfield“：｛”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9772，”subfield“：｛”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/coiduction网站“，”display_name“：”Coinduction“，”score“：0.9387176}，{”id“：”https://openalex.org/keywords/coalgebra网站“，”display_name“：”Coalgebra“，”score“：0.8547118}，{”id“：”https://openalex.org/keywords/semiring网站“，”display_name“：”Semiring“，”score“：0.6995425}，{”id“：”https://openalex.org/keywords/formal-power系列“，”display_name“：”正式幂级数“，”score“：0.62064856}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.473985}，{”id“：”https://openalex.org/keywords/category-theory网站“，”display_name“：”范畴理论“，”score“：0.45152962}]，”concepts“：[{”id“：”https://openalex.org/C40220748，“wikidata”：https://www.wikidata.org/wiki/Q4227156“，”display_name“：”Coinduction“，”level“：3，”score“：0.9387176}，{”id“：”https://openalex.org/C2778249326，“wikidata”：https://www.wikidata.org/wiki/Q1777803“，”display_name“：”Coalgebra“，”level“：3，”score“：0.8547118}，{”id“：”https://openalex.org/C21696900，“wikidata”：https://www.wikidata.org/wiki/Q1333055“，”display_name“：”Semiring“，”level“：2，”score“：0.6995425}，{”id“：”https://openalex.org/C151746172，“wikidata”：https://www.wikidata.org/wiki/Q1003025“，”display_name“：”正式幂级数“，”level“：3，”score“：0.62064856}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5655401}，{”id“：”https://openalex.org/C2777021872，“wikidata”：https://www.wikidata.org/wiki/Q22976830“，”display_name“：”uniquence“，”level“：2，”score“：0.5411221}，{”id“：”https://openalex.org/C197855036，“wikidata”：https://www.wikidata.org/wiki/Q380172“，”display_name“：”二叉树“，”level“：2，”score“：0.5086823}，{”id“：”https://openalex.org/C54884031，“wikidata”：https://www.wikidata.org/wiki/Q217413“，”display_name“：”范畴理论“，”level“：2，”score“：0.45152962}，{”id“：”https://openalex.org/C48372109，“wikidata”：https://www.wikidata.org/wiki/Q3913“，”display_name“：”二进制数“，”level“：2，”score“：0.44230032｝，｛”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.44152367｝，｛”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.43670136}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.43492413}，{”id“：”https://openalex.org/C73905626，“wikidata”：https://www.wikidata.org/wiki/Q206925“，”display_name“：”Power series“，”level“：2，”score“：0.4063537}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.34131593}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.33826518}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.28461462}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.13844725}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.093681395}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.07925543}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.076737076}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.ic.2008.08.006“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://ir.cwi.nl/pub/11938，“pdf_url”：https://ir.cwi.nl/pub/11938/11938D.pdf，“源”：{“id”：https://openalex.org/S4306401843“，”“display_name”“：”“数据存档和网络服务（DANS）”“，”https://openalex.org/I1322597698“，”“host_organization_name”：“荷兰皇家艺术科学院”，“host_ordanization_lineage”：[“https://openalex.org/I1322597698“]，”host_organization_lineage_names“：[”荷兰皇家艺术与科学院“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://ir.cwi.nl/pub/11938，“pdf_url”：https://ir.cwi.nl/pub/11938/11938D.pdf，“源”：{“id”：https://openalex.org/S4306401843“，”“display_name”“：”“数据存档和网络服务（DANS）”“，”https://openalex.org/I1322597698“，”“host_organization_name”：“荷兰皇家艺术与科学学院”，“host_ordanization_lineage”：[“https://openalex.org/I1322597698“]，”host_organization_lineage_names“：[”荷兰皇家艺术与科学院“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1489341787","https://openalex.org/W1506437980","https://openalex.org/W1514553092","https://openalex.org/W1563218161","https://openalex.org/W1574079735","https://openalex.org/W1894625314","https://openalex.org/W2088189323","https://openalex.org/W2107354844","https://openalex.org/W2126684544","https://openalex.org/W4210678036","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W2768678712","https://openalex.org/W2583938420","https://openalex.org/W2555783209","https://openalex.org/W2526939692","https://openalex.org/W2167808031","https://openalex.org/W2142917938","https://openalex.org/W2107354844","https://openalex.org/W2058610334","https://openalex.org/W2046125821","https://openalex.org/W2017706948“]，”abstract_inverted_index“：{”We“：[0,20,57]，”study“：[1]，”the“：[2,29,67,78]，”set“：[3]，”TA“：[4,32]，”of“：[5,71]，”infinite“：[6]，”binary“：[7]，”trees“：[8,40]，”with“：9]，”nodes“：[10]，”labeled“：[11]，”in“：[12]，”a“：[13,17,34,47,59]，”semiring“：[14]，“a”：[15]，“from”：[16]，“coalebraic”：[18]，“perspective.”：[19]，“present”：[21,58]，“conductive”：[22]，“定义“：[23]”，“和”：[24,69]，“证明”：[25]，“原则”：[26]，“基于”：[27]，“依据”：[28]，“事实”：[30]，“那”：[31,65]，“携带”：[33]，“最终”：[35]，“余代数”：[36]，“结构”。“：[37]，“By”：[38]，“viewing”：[39]，“as”：[41,53]，“formal”：[42]，“power”：[43]，“series”，“：[44]，“we”：%45]，“develop”：【46]，“calculation”：【48]，“where”：〔49〕，“definitions”：【50】，“are”：[51]，“present”：【52】，“behavioral”：【54】，“differential”：55】，“equations”。“：[56]，”通用“：[60]，”格式“：[61]，”用于“：[62]，”这些“：[63]，”方程“：[64]，”保证“：[66]，”存在“：[68]，”唯一性“：[70]，”解。“：[72]，“虽然”：[73]，“技术上”：[74]，“不”：[75]，“非常”：[76]，“困难”，：[77]，“结果”：[79]，“框架”：[80]，“有”：[81]，“令人惊讶”：[82]，“好”：[83]，“应用程序”：[84]，“其中”：[85]，“是”：[86]，“图解”：[87]，“by”：[88]，“各种”：[89]，“具体”：[90]，“示例。“：[91]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2167808031“，”counts_by_year“：[{”年份“：2017，”cited_by_count“：1}，{”年度“：2013，”cited_by_count”：2}，“年份”：2012，”citecd_by_count“:2}]，”updated_date“：”2024-08-18T17:39:53.738599“，”created_dates“：”2016-06-24“}