Krishnendu Chatterjee等人：概率验证的符号时间和空间权衡。(2021) conf/lics/ChatterjeeDHS21 10.1109/LICS52264.2021.9470739 概率验证的符号时间和空间权衡。 4 克里希南德·查特吉 1 沃尔夫冈·德沃拉克 2 莫妮卡·亨津格 三 亚历山大·斯沃齐尔 4 1-13 低收入国家 低收入国家 2021 2021 dblp记录“conf/lics/ChatterjeeDHS21”的RDF数据的来源信息 2022-01-03T22:15:35+0100