{“id”:“https://openalex.org/W2605828604“,”doi“:”https://doi.org/10.1017/s096012951500390“,”title“:”Computing with relational machines“,”display_name“:”Calcuting with relateal machines“,”publication_year“:2015,”publiation_date“:”2015-07-15“,”ids“:{”openalex“:”https://openalex.org/W2605828604“,”doi“:”https://doi.org/10.1017/s096012951500390“,”mag“:”2605828604“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1017/0960129515000390“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S101766102“,”display_name“:”计算机科学中的数学结构“,”issn_l“:”0960-1295“,”isn“:[”09601295“,”1469-8072“],”is_oa“:false,”is-in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310311721“,”“host_organization_name”:“剑桥大学出版社”,“host_ordanization_lineage”:[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“],”host_organization_lineage_names“:[”剑桥大学出版社“,”剑桥大学“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:nully,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”crossref“],‘open_access’:{”is_oa“:false,”“oa_status”:“closed”,“oa_url”:空,“any_repository_has_fulltext“:false},”authorships“:[{”author_position“:”first“,”author“:{”id“:”https://openalex.org/A5060619322“,”display_name“:”G\u00e9rard Huet“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I1326498283“,”“display_name”:“Institute national de recherche en informatique et en automatique”,“错误”:“https://ror.org/02kvxyf05“,”country_code“:”FR“,”type“:“政府”,”世系“:[”https://openalex.org/I1326498283“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”G\u00c9RARD HUET“,”raw_affiliation_strings“:[“INRIA Paris-Rocquencourt Center,France Email:”],“affiliations”:[{“raw_affilition_string”:“INRIA-Paris-ROCquencourte Center,France-Email:”,“institution_ids”:[“https://openalex.org/I1326498283“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5076377864“,”display_name“:”Beno\u00eet Razet“,”orcid“:”https://orcid.org/0009-0006-5698-9841},“机构”:[{“id”:https://openalex.org/I131221577“,”display_name“:”巴克内尔大学“,”ror“:”https://ror.org/00fc1qt65“,”country_code“:”美国“,”类型“:”教育“,”血统“:[”https://openalex.org/I131221577“]}],”国家“:[”美国“],”is_corresponding“:false,”raw_author_name“:”BENO\u00ceT RAZET“,”raw _ afiliation_strings“:[“巴克内尔大学计算机科学系,路易斯堡,PA 17837,美国邮箱:”],”affiliations“:[{”raw_ afiliation _string“:”巴克内耳大学计算机科学部,路易斯堡(PA 17837),美国电子邮件:“,”institution_ids“:[https://openalex.org/I131221577“]}]}],”institution_assertions“:[],”countries_distiction_count“:2,”institutions_disticent_count”:2,“corresponding_author_ids”:[]、“corresconding_institution_ids“:[[],”apc_list“:null,”apc _payed“:nul,”fwci“:0.334,”has_fulltext“:true,”fulltext_origin“:”ngrams“,”cited_by_count 82362,“is_in_top_1_percent“:false,”is_in_top_10_percennt“:false},”cited_by_percentile_year“:{”min“:81,”max“:82},“biblio”:{“volume”:“27”,”issue“:”5“,”first_page“:”807“,”last_page“:”826“}https://openalex.org/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9966,“subfield”:{“id”:“https://openalex.org/subfields/1702“,”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/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9966,“subfield”:{“id”:“https://openalex.org/subfields/1702“,”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/T12808“,”display_name“:”低功率纳米应用的铁电器件“,”score“:0.9949,”subfield“:{”id“:”https://openalex.org/subfields/2208“,”display_name“:”电气与电子工程“},”字段“:{”id“:”https://openalex.org/fields/22“,”display_name“:”Engineering“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11567“,”display_name“:”自动机理论与形式语言“,”score“:0.9897,”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/keywords/component网站“,”display_name“:”组件(热力学)“,”score“:0.5713371},{”id“:”https://openalex.org/keywords/relational代数“,”display_name“:”关系代数“,”score“:0.53987885},{”id“:”https://openalex.org/keywords/hyperdimensional-computing网站“,”display_name“:”超维计算“,”score“:0.509085},{”id“:”https://openalex.org/keywords/definitistic-finite-automaton“,”display_name“:”确定性有限自动机“,”score“:0.46668822}],”concepts“:[{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.7848941},{”id“:”https://openalex.org/C167822520,“wikidata”:https://www.wikidata.org/wiki/Q176452“,”display_name“:”Finite-state machine“,”level“:2,”score“:0.747782},{”id“:”https://openalex.org/C5655090,“wikidata”:https://www.wikidata.org/wiki/Q192588“,”display_name“:”关系数据库“,”level“:2,”score“:0.5940624},{”id“:”https://openalex.org/C112505250,“wikidata”:https://www.wikidata.org/wiki/Q787116“,”display_name“:”Automaton“,”level“:2,”score“:0.57685626},{”id“:”https://openalex.org/C168167062,“wikidata”:https://www.wikidata.org/wiki/Q1117970“,”display_name“:”组件(热力学)“,”level“:2,”score“:0.5713371},{”id“:”https://openalex.org/C101468663,“wikidata”:https://www.wikidata.org/wiki/Q1620158“,”display_name“:”模块化设计“,”level“:2,”score“:0.5682726},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.5495889},{”id“:”https://openalex.org/C36503486,“wikidata”:https://www.wikidata.org/wiki/Q11235244“,”display_name“:”域(数学分析)“,”level“:2,”score“:0.54042363},{”id“:”https://openalex.org/C95916125,“wikidata”:https://www.wikidata.org/wiki/Q840540“,”display_name“:”关系代数“,”level“:3,”score“:0.53987885},{”id“:”https://openalex.org/C25343380,“wikidata”:https://www.wikidata.org/wiki/Q277521“,”display_name“:”关系(数据库)“,”级别“:2,”分数“:0.5248727},{”id“:”https://openalex.org/C99436015,“wikidata”:https://www.wikidata.org/wiki/Q1722436“,”display_name“:”关系演算“,”level“:4,”score“:0.5151714},{”id“:”https://openalex.org/C40207289,“wikidata”:https://www.wikidata.org/wiki/Q755662“,”display_name“:”关系模型“,”level“:3,”score“:0.5122325},{”id“:”https://openalex.org/C45374587,“wikidata”:https://www.wikidata.org/wiki/Q12525525“,”display_name“:”计算“,”级别“:2,”分数“:0.49828625},{”id“:”https://openalex.org/C104091681,“wikidata”:https://www.wikidata.org/wiki/Q837528“,”display_name“:”确定性有限自动机“,”level“:3,”score“:0.46668822},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.29915798},{”id“:”https://openalex.org/C124101348,“wikidata”:https://www.wikidata.org/wiki/Q172491网址“,”display_name“:”数据挖掘“,”level“:1,”score“:0.17374265},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.13423577},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C121332964,“wikidata”:https://www.wikidata.org/wiki/Q413“,”display_name“:”物理“,”级别“:0,”分数“:0.0},{”id“:”https://openalex.org/C97355855,“wikidata”:https://www.wikidata.org/wiki/Q11473“,”display_name“:”热力学“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1017/s096012951500390“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S101766102“,”display_name“:”计算机科学中的数学结构“,”issn_l“:”0960-1295“,”isn“:[”09601295“,”1469-8072“],”is_oa“:false,”is-in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310311721“,”“host_organization_name”:“剑桥大学出版社”,“host_ordanization_lineage”:[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“],”host_organization_lineage_names“:[”剑桥大学出版社“,”剑桥大学“],“type”:“journal”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false}],“best_oa_location”:null,“sustainable_development_goals”:[],“grants”:[],“datasets”:〔〕,“versions”:[〕,“referenced_works_count”:28,“referenced_works“:[”https://openalex.org/W1481365453","https://openalex.org/W1487495663","https://openalex.org/W1501213188","https://openalex.org/W1511753437","https://openalex.org/W1590800102","https://openalex.org/W1608897385","https://openalex.org/W163921243","https://openalex.org/W1810686855","https://openalex.org/W1975501418","https://openalex.org/W1979101142","https://openalex.org/W2072607050","https://openalex.org/W2076881600","https://openalex.org/W2084159038","https://openalex.org/W2092860912","https://openalex.org/W2094985106","https://openalex.org/W2099540492","https://openalex.org/W2103737357","https://openalex.org/W2134112335","https://openalex.org/W2136678187","https://openalex.org/W2156429182","https://openalex.org/W2163152086","https://openalex.org/W2167954650","https://openalex.org/W2213763094","https://openalex.org/W2912608078","https://openalex.org/W4231366178","https://openalex.org/W4285719527","https://openalex.org/W4299834629","https://openalex.org/W432307114“],”related_works“:[”https://openalex.org/W2378275298","https://openalex.org/W2243465518","https://openalex.org/W2095263945","https://openalex.org/W2089781037","https://openalex.org/W2085988990","https://openalex.org/W2056340443","https://openalex.org/W2005835473","https://openalex.org/W2005471433","https://openalex.org/W1969375478","https://openalex.org/W1516375613“],”abstract_inverted_index“:{”We“:[0,57],”propose“:[1],”a“:[2,25,34,38,43,77100],”relational“:[3,44,67118],”computing“:[4],”paradigm“:[5],”based“:[6],”on“:[7],”Eilenberg“:[8,22],”machines“:[9,68],”an“:[10,90],”effectived“:[11],”version“:[12],”of“:[13,65,71,801 06116127],“艾伦伯格”:[14],“X机器”:[15],“适合”:[16],“用于”:[17,61],“通用“:[18],”非确定性“:[19],”计算。“:[20],”An“:[21],”machine“:[23108],”generalizes“:[24],”finite-state“:/26],”automaton“,”:[27],”seen“:[28],“as”:[29,42,50121],”its“:[30,46122],”control“:[31125],”component“:[32],”with“:[3],”computeration“:[35],”组件“:[36],”over“:[37,53],”data“:=39,55],”domain“:[40],“指定”:[41],“代数”:[45],“动作”:[47105],“存在”:[48],“解释“:[49],”二进制“:[51],”关系“:[52],”域“:[54,62,72113142],”。“:[56],”显示“:[58,85],”各种“:[59],”策略“:[60],”顺序“:[63],”模拟“:[64],”我们的“:[66],”使用“:[69],”变体“:[70],”反应“:[73],”引擎“:[74],”。“:[75],”In“:[76],”special“:[78],”case“:[79],”finited“:[81],”machines“:[82,95119128],”,“:[83],”we“:+84145],”that“:[86],”bottom-up“:[87],”search“:88],”yields“:[89],”efficient“:[91],”complete“:[92],”simulator“。“:[93],”关系“:[94],”可能“:[96],”是“:[97110130],”组合“:[98],”在“:[99141],”模块“:[101],”时尚“:[102],”自“:[103],”原子“:[104],”一“:[107],”可以“:[109129],”映射“:[111],”到“:[112],”特征“:[114],”联系“:[115],”其他“:[117],”代理“:[120],”参数。“:[123],”The“:[124],”components“:[126],”compiled“:[131],”from“:[132],”regular“:[133],”表达式。“:[134],”几个“:[135],”这样“:[136],”翻译“:[137],”有“:[138],”被“:[139],”提议“:[140],”文学“:[143],”其中“:[144],”简要“:[146],”调查。“:[147]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2605828604“,”counts_by_year“:[{“年份”:2015,”cited_by_count“:1},{“年度”:2014,”citted_by_count”:1},{”year“:2012,”cited_by_count“:2}],”updated_date“:”2024-09-15T06:31:55.953588“,”created_dates“:”2017-04-28“}