-
TACAS2020_Based_Sharp_Congruences_弱强模态时态逻辑补充材料完整数据
2025年12月23日 30 52 5
数据集概述 本数据集为TACAS 2020会议论文的补充材料，包含论文所有定理的证明、RERS 2019实验的详细描述，以及RERS 2018、RERS 2019和TFTP实验的实际数据，共7个文件。 文件详解 README.txt: TXT格式，说明该数据集是TACAS 2020会议论文的配套档案，提及论文作者及会议信息 Lang-Mateescu-...
