Jan A.Bergstra和John V.Tucker：对称变换：数据类型及其等式理论的算法程度。(2022) conf/生日/BergstraT22 10.1007/978-3-031-15629-8_4 对称变换：其等式理论的数据类型和算法程度。 2 简·A·伯格斯特拉 1 约翰·V·塔克 2 63-80 从过程代数到时间自动机到模型学习的旅程 从过程代数到时间自动机到模型学习的旅程 2022 2022 dblp记录“conf/birthary/BergstraT22”的RDF数据的来源信息 2022-09-19T19:04:16+0200