Petar Maksimovic等人：精确分离逻辑。(2022) 日记账/corr/abs-2208-07200 10.48550/ARXIV.2208.07200 精确分离逻辑。 6 彼得·马克西莫维奇 1 卡罗琳·克朗杰 2 朱利安·萨瑟兰 三 安德烈亚斯·洛夫 4 萨查·埃利·阿永 5 菲利普·加德纳 6 CoRR公司 CoRR公司 腹肌/2208.07200 2022 dblp记录“journals/corr/abs-2208-07200”的RDF数据的来源信息 2022-08-17T09:42:52+0200