{“id”:“https://openalex.org/W2055874330“,”doi“:”https://doi.org/10.1137/0218043“,”title“:”Expressibility and Parallel Complexity“,”display_name“:”expressibilityandParallel复杂度“,”publication_year“:1989,”publiation_date“:”1989-06-01“,”ids“:{”openalex“:”https://openalex.org/W2055874330“,”doi“:”https://doi.org/10.1137/0218043“,”mag“:”2055874330“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1137/0218043“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S153560523“,”display_name“:”SIAM计算日志“,”issn_l“:”0097-5397“,”isn“:[”0097-50397“、”1095-7111“],”is_oa“:false,”is_ in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310320508“,”“host_organization_name”:“工业与应用数学学会”,“host_ordanization_lineage”:[“https://openalex.org/P4310320508“],”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“]any_repository_has_fulltext“:false},”作者身份“:[{”作者位置“:”第一个“,”作者“:{”id“:”https://openalex.org/A5053065200“,”display_name“:”Neil Immerman“,”orcid“:null},”institutions“:[],”countries“:[],”is_corresponding“:true,”raw_author_name“:”Neil Immerman“、”raw_affiliation_strings“:],”affiliations“:[/]}],”countries_distiction_count“:0https://openalex.org/A5053065200“],”“corresponding_institution_ids”:[],“apc_list”:null,”“apc_payed”:null,“fwci”:8.381,“has_fulltext”:true,“fulltext_origin”:“ngrams”,“cited_by_count”:119,“cited_by_percentile_year”:{“min”:97,“max”:98},“biblio”:{“volume”:”“18”,“issue”:“3”,“first_page”:“625”,“last_page”::“638”},“is_retracted”:false,“is_paratext”:false,“primary_topic”:{“id”:“https://openalex.org/T11567“,”display_name“:”自动机理论和形式语言“,”score“:0.9998,”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/T11567“,”display_name“:”自动机理论和形式语言“,”score“:0.9998,”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/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9989,“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/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9987,“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/keywords/regular-expressions网站“,”display_name“:”正则表达式“,”score“:0.515021},{”id“:”https://openalex.org/keywords/model-checking“,”display_name“:”模型检查“,”score“:0.512331},{”id“:”https://openalex.org/keywords/runtime验证“,”display_name“:”Runtime Verification“,”score“:0.51094},{”id“:”https://openalex.org/keywords/abstract-interpretation(https://openalex.org/keywords/abstract-interpretation)“,”display_name“:”抽象解释“,”score“:0.500096}],”concepts“:[{”id“:”https://openalex.org/C140479938,“wikidata”:https://www.wikidata.org/wiki/Q5254619“,”display_name“:”迭代函数“,”level“:2,”score“:0.76199037},{”id“:”https://openalex.org/C189950617,“wikidata”:https://www.wikidata.org/wiki/Q937228“,”display_name“:”属性(哲学)“,”级别“:2,”分数“:0.68803096},{”id“:”https://openalex.org/C2777027219,“wikidata”:https://www.wikidata.org/wiki/Q1284190“,”display_name“:”常量(计算机编程)“,”level“:2,”score“:0.68031013},{”id“:”https://openalex.org/C2780012671,“wikidata”:https://www.wikidata.org/wiki/Q1343870“,”display_name“:”推论“,”level“:2,”score“:0.6341516},{”id“:”https://openalex.org/C182306322,“wikidata”:https://www.wikidata.org/wiki/Q1779371“,”display_name“:”Order(exchange)“,”level“:2,”score“:0.6017403},{”id“:”https://openalex.org/C31170391,“wikidata”:https://www.wikidata.org/wiki/Q188619“,”display_name“:”Hierarchy“,”level“:2,”score“:0.5777485},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”Mathematics“,”level“:0,”score“:0.57769245},{”id“:”https://openalex.org/C311688,“wikidata”:https://www.wikidata.org/wiki/Q2393193“,”display_name“:”时间复杂性“,”level“:2,”score“:0.5497929},{”id“:”https://openalex.org/C177264268,“wikidata”:https://www.wikidata.org/wiki/Q1514741“,”display_name“:”Set(abstract data type)“,”level“:2,”score“:0.5352223},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.49717668},{”id“:”https://openalex.org/C9019067,“wikidata”:https://www.wikidata.org/wiki/Q43260“,”display_name“:”多项式“,”level“:2,”score“:0.45072272},{”id“:”https://openalex.org/C2780841128,“wikidata”:https://www.wikidata.org/wiki/Q5073781“,”display_name“:”表征(材料科学)“,”level“:2,”score“:0.43552965},{”id“:”https://openalex.org/C2777530160,“wikidata”:https://www.wikidata.org/wiki/Q41796“,”display_name“:”句子“,”级别“:2,”分数“:0.42945087},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.38522106},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.3673184},{”id“:”https://openalex.org/C34447519,“wikidata”:https://www.wikidata.org/wiki/Q179522“,”display_name“:”市场经济“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C138885662,“wikidata”:https://www.wikidata.org/wiki/Q5891“,”display_name“:”哲学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C192562407,“wikidata”:https://www.wikidata.org/wiki/Q228736网址“,”display_name“:”材料科学“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C111472728,“wikidata”:https://www.wikidata.org/wiki/Q9471“,”display_name“:”认识论“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C10138342,“wikidata”:https://www.wikidata.org/wiki/Q43015“,”display_name“:”Finance“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C162324750,“wikidata”:https://www.wikidata.org/wiki/Q8134“,”display_name“:”经济学“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C171250308,“wikidata”:https://www.wikidata.org/wiki/Q11468“,”display_name“:”Nanotechnology“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1137/0218043“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S153560523“,”display_name“:”SIAM计算日志“,”issn_l“:”0097-5397“,”isn“:[”0097-50397“、”1095-7111“],”is_oa“:false,”is_ in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310320508“,”“host_organization_name”:“工业与应用数学学会”,“host_ordanization_lineage”:[“https://openalex.org/P4310320508“],”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”:[{“id”:“https://metadata.un.org/sdg/4“,”score“:0.61,”display_name“:”Quality education“}],”grants“:[],”datasets“:【】,”versions“:【],”referenced_works_count“:11,”referrenced_works“:[”https://openalex.org/W1591825827","https://openalex.org/W1607100166","https://openalex.org/W1967575173","https://openalex.org/W1970629906","https://openalex.org/W1984581643","https://openalex.org/W1986804393","https://openalex.org/W2027501230","https://openalex.org/W2065251436","https://openalex.org/W2075322882","https://openalex.org/W2088094394","https://openalex.org/W2105505307网址“],”related_works“:[”https://openalex.org/W4316469561","https://openalex.org/W3195376785","https://openalex.org/W3013941779","https://openalex.org/W2947625790","https://openalex.org/W2388301251","https://openalex.org/W2376029318","https://openalex.org/W2370435933","https://openalex.org/W2013770701","https://openalex.org/W1998659141","https://openalex.org/W138938013“],”ngrams_url“:”https://api.openalex.org/works/W2055874330/ngrams网站“,”“abstract_inverted_index”:{“It”:[0,76],“is”:[1,25,43,65,77,92106117135145],“shown”:[2,78],“that”:[3,79],“the”:[4,26,29,38,46,57,66,84110140148],“time”:[5121],“needed”:[6,54],“by”:[7,94125153],“a”:[8,22,33,51,69123136154],“concurrent-read”,“:[9],”10],“并行”:[11],“随机”:[12],“访问”:[13],“机器”:[14],“(CRAM)“:[15],”to“:[16,45,55108119147],”check“:[17],”if“:[18],”an“:[19,80],”input“:[20],”has“:[21],”sequent“:[23],”property“:[24],”same“:[27],“as”:[28],“minimal”:[30],“depth”:[31],”of“:[32,37,48,50,62,68131139150],”一阶“:[34,52,95111],”inductive“],“定义”:[36,82],“属性。“:[39,58],“This”:[40],“in”:[41115],“turn”:[42116],“equal”:[44118146],“number”:[47],“\”iterations“:[49],“sence”:[53],“express”:[56],“The”:[59],“second”:[60],“contribution”:【61】,“This”:【63】,“paper”:【64】,“introduction”:【67】,“pure”:【70】,“syntaxic”:【71】,“uniformity”:【72],“概念”:[73],“用于”:[74,83],“电路”。“:[75],”等效“:[81],”统一“:[85103],”电路“:[86],”类“:[87],”${\\text{AC}}^i“:[88],”,i“:+89],”\\geqsleat“:[90],”1$“:[91],”给定“:[93],”句子“:[96],”\“iterated”“:[97],”$\\log“:[98],”^i“:[99],”n$“:[100],”次。“:[101],”类似地,“:[102],”${\\text{AC}}^0“:[104],”$“:[105],”defined“:[107],”be“:[109],”expressable“:[112],”property“:[113],”(which“:[114],”constant“:[120161],”on“:[122],”CRAM“:[124155],”our“:[1261132],”main“:[127133],”定理)。“:[128],”A“:[129],”推论“:[130],”结果“:[134],”新“:[137],”特征描述“:[138],”多项式时间“:[141],”层次结构“:[142],”(PH):“:[143],”PH“:[144],”集合“:[149],”语言“:[151],”接受“:[152],”使用“:[156],”指数“:[157],”许多“:[158],”处理器“:[159],”和“:[160],“时间。“:[162]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2055874330“,”“counts_by_year”:[{“年份”:2023,”“cited_by_count”:2},{“年”:2021,”“cited_by_cunt”:4},}“年“:2020,”“cited_by-count”“:1},”“年”“:2019,”“:2015,”cited_by_count“:7},{“年份”:2014,”cited_by_count,{“年份”:2012,“引用_ by_count”:5}],“更新日期”:“2024-06-26T21:2:18.532910”,“创建时间”:“2016-06-24”}