. . . . . “Richard Statman:操作语义BCD的完整性。（2016）”。 . . _：ID_4c4bf40d6962ce4ba5bc0334e38aa94c。_：ID_4c4bf40d6962ce4ba5bc0334e38aa94c ._：ID_4c4bf40d6962ce4ba5bc0334e38aa94c ._：ID_4c4bf40d6962ce4ba5bc0334e38aa94c“conf/types/Statman16”。 _：ID_684f26df0013cbc8ab5dd742353cea21。_：ID_684f26df0013cbc8ab5dd742353cea21 ._：ID_684f26df0013cbc8ab5dd742353cea21 ._：ID_684f26df0013cbc8ab5dd742353cea21“10.4230/LIPICS.类型2016.15”。 “操作语义BCD的完整性。”。 . . "1"^^. _：Sig_6916c4b20c25f18fc286d3d9864dcc90_1。_：Sig_6916c4b20c25f18fc286d3d9864dcc90_1 ._：Sig_6916c4b20c25f18fc286d3d9864dcc90_1“Richard Statman”。_：Sig_6916c4b20c25f18fc286d3d9864dcc90_1 ._：Sig_6916c4b20c25f18fc286d3d9864dcc90_1"1"^^._：Sig_6916c4b20c25f18fc286d3d9864dcc90_1 . . . . "15:1-15:5" . “类型”。 “类型”。 "2016"^^. "2018"^^. . “dblp记录'conf/types/Statman16'的RDF数据的来源信息”。 . . . “2019-05-02T17:40:18+0200”。