. . . . . “Daniel Hirschkoff等人：《关于\u03C0-calculus.（2021）中的顺序性和良好括号》”。 . . _：ID_10d3bfd111fcfb456210d4717e563546。_：ID_10d3bfd111fcfb456210d4717e563546 ._：ID_10d3bfd111fcfb456210d4717e563546 ._：ID_10d3bfd111fcfb456210d4717e563546“conf/lics/HirschkoffPS21”。 _：ID_40012b50bcfb5bc2f9fa84ef20f363b7。_：ID_40012b50bcfb5bc2f9fa84ef20f363b7 ._：ID_40012b50bcfb5bc2f9fa84ef20f363b7 ._：ID_40012b50bcfb5bc2f9fa84ef20f363b7“10.1109/LICS52264.2021.9470559”。 “关于\u03C0-calculus中的顺序性和括号。”。 . . . . "3"^^. _：Sig_d42c5f8f6d865a892569742fd9df948a_1。_：Sig_d42c5f8f6d865a892569742fd9df948a_1 ._：Sig_d42c5f8f6d865a892569742fd9df948a_1“Daniel Hirschkoff”。_：Sig_d42c5f8f6d865a892569742fd9df948a_1 ._：Sig_d42c5f8f6d865a892569742fd9df948a_1"1"^^._：Sig_d42c5f8f6d865a892569742fd9df948a_1 . _：Sig_d42c5f8f6d865a892569742fd9df948a_2。_：Sig_d42c5f8f6d865a892569742fd9df948a_2 ._：信号_d42c5f8f6d865a892569742fd9df948a_2“Enguerrand Prebet”。_：Sig_d42c5f8f6d865a892569742fd9df948a_2 ._：Sig_d42c5f8f6d865a892569742fd9df948a_2 ._：Sig_d42c5f8f6d865a892569742fd9df948a_2"2"^^._：Sig_d42c5f8f6d865a892569742fd9df948a_2 . _：Sig_d42c5f8f6d865a892569742fd9df948a_3。_：Sig_d42c5f8f6d865a892569742fd9df948a_3 ._：Sig_d42c5f8f6d865a892569742fd9df948a_3“Davide Sangiorgi”。_：Sig_d42c5f8f6d865a892569742fd9df948a_3 ._：Sig_d42c5f8f6d865a892569742fd9df948a_3"3"^^._：Sig_d42c5f8f6d865a892569742fd9df948a_3 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/HirschkoffPS21'的RDF数据的起源信息”。 . . . “2023-09-30T09:52:08+0200”。