. . . . . “Jan A.Bergstra和John V.Tucker：对称变换：等式理论的数据类型和算法程度。（2022）”。 . . _：ID_8dc52939ae4a8204a06da90d9240c843。_：ID_8dc52939ae4a8204a06da90d9240c843 ._：ID_8dc52939ae4a8204a06da90d9240c843 ._：ID_8dc52939ae4a8204a06da90d9240c843“conf/生日/BergstraT22”。 _：ID_957248a3236140c725de6c643cf4f2。_：标识_957248a3236140c725de6c1c643cf4f2 ._：ID_957248a3236140c725de6c643cf4f2 ._：ID_957248a3236140c725de6c643cf4f2"10.1007/978-3-031-15629-8_4" . 《对称变换：等式理论的数据类型和算法程度》。 . . . "2"^^. _：Sig_4052d49b945cf3c052fb546f785339ff_1。_：Sig_4052d49b945cf3c052fb546f785339ff_1 ._：Sig_4052d49b945cf3c052fb546f785339ff_1“Jan A.Bergstra”。_：Sig_4052d49b945cf3c052fb546f785339ff_1 ._：Sig_4052d49b945cf3c052fb546f785339ff_1"1"^^._：Sig_4052d49b945cf3c052fb546f785339ff_1 . _：Sig_4052d49b945cf3c052fb546f785339ff_2。_：Sig_4052d49b945cf3c052fb546f785339ff_2 ._：Sig_4052d49b945cf3c052fb546f785339ff_2《约翰·V·塔克》。_：Sig_4052d49b945cf3c052fb546f785339ff_2 ._：Sig_4052d49b945cf3c052fb546f785339ff_2"2"^^._：Sig_4052d49b945cf3c052fb546f785339ff_2 . . . . "63-80" . “从过程代数到时间自动机到模型学习的旅程”。 “从过程代数到时间自动机到模型学习的旅程”。 "2022"^^. “2022”^^. . “dblp记录'conf/birthary/BergstraT22'的RDF数据的起源信息”。 . . . “2022-09-19T19:04:16+0200”。