。 。 。 。 。 “Mnacho-Echenim等人：具有归纳定义的分离逻辑中的可判定Entendises：超越建立。（2021）”。 。 。 _：ID_321f81bc41495d808b8f90e3bb713881。_：ID_321f81bc41495d808b8f90e3bb713881 。_：ID_321f81bc41495d808b8f90e3bb713881 。_：ID_321f81bc41495d808b8f90e3bb713881“conf/csl/EchenimIP21”。 _：ID_4e22b48dd7fa5afdc6fd0b334f730979。_：ID_4e22b48dd7fa5afdc6fd0b334f730979 。_：ID_4e22b48dd7fa5afdc6fd0b334f730979 。_：ID_4e22b48dd7fa5afdc6fd0b334f730979“10.4230/LIPICS.CSL.2021.20”。 “带归纳定义的分离逻辑中的可判定蕴涵：超越建立。”。 。 。 。 。 "3"^^。 _：Sig_4eea5260e40c80c4a85a61885e345bc5_1。_：Sig_4eea5260e40c80c4a85a61885e345bc5_1 。_：Sig_4eea5260e40c80c4a85a61885e345bc5_1“Mnacho Echenim”。_：Sig_4eea5260e40c80c4a85a61885e345bc5_1 。_：Sig_4eea5260e40c80c4a85a61885e345bc5_1“1”^^。_：Sig_4eea5260e40c80c4a85a61885e345bc5_1 。 _：Sig_4eea5260e40c80c4a85a61885e345bc5_2。_：Sig_4eea5260e40c80c4a85a61885e345bc5_2 。_：信号_4eea5260e40c80c4a85a61885e345bc5_2“Radu Iosif”。_：Sig_4eea5260e40c80c4a85a61885e345bc5_2 。_：Sig_4eea5260e40c80c4a85a61885e345bc5_2"2"^^。_：Sig_4eea5260e40c80c4a85a61885e345bc5_2 。 _：Sig_4eea5260e40c80c4a85a61885e345bc5_3。_：Sig_4eea5260e40c80c4a85a61885e345bc5_3 。_：信号_4eea5260e40c80c4a85a61885e345bc5_3“尼古拉斯·佩尔蒂埃”。_：Sig_4eea5260e40c80c4a85a61885e345bc5_3 。_：Sig_4eea5260e40c80c4a85a61885e345bc5_3"3"^^。_：Sig_4eea5260e40c80c4a85a61885e345bc5_3 。 。 。 。 "20:1-20:18" . “CSL”。 “CSL”。 "2021"^^。 "2021"^^。 。 “dblp记录'conf/csl/EchenimIP21'的RDF数据的起源信息”。 。 。 。 “2021-01-13T17:30:05+0100”。