提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lics/ChatterjeeDHS21澳大利亚-查特吉，克里希南多AU-德沃夏克，沃尔夫冈AU-莫尼卡·亨津格澳大利亚-亚历山大·斯沃齐尔TI-概率验证的符号时间和空间权衡。BT-第36届ACM/IEEE计算机科学逻辑年会，LICS 2021，罗马，意大利，2021年6月29日-7月2日SP-1EP-132021年上半年//DO-10.1109/LICS52264.2021.9470739UR-（欧元）https://doi.org/10.109/LICS52264.2021.9470739急诊室-