. . . . . 《Rana Barua:邻域逻辑和时序逻辑组合的完整性》（2004）。 . . _：ID_495970ec9681936aa2c9801410a96e6b。_：ID_495970ec9681936aa2c9801410a96e6b ._：ID_495970ec9681936aa2c9801410a96e6b ._：ID_495970ec9681936aa2c9801410a96e6b“日记账/fac/Barua04”。 _：ID_655ca3be2d3290e71dd1ec50555ceca5。_：ID_655ca3be2d3290e71dd1ec50555ceca5 ._：ID_655ca3be2d3290e71dd1ec50555ceca5 ._：ID_655ca3be2d3290e71dd1ec50555ceca5“10.1007/S00165-004-0035-8”。 “邻域逻辑和时间逻辑组合的完整性。”。 . . "1"^^. _：Sig_662441913944b6aebf9450b8b36c91af_1。_：Sig_662441913944b6aebf9450b8b36c91af_1 ._：Sig_662441913944b6aebf9450b8b36c91af_1“拉娜·巴鲁”。_：Sig_662441913944b6aebf9450b8b36c91af_1 ._：Sig_662441913944b6aebf9450b8b36c91af_1"1"^^._：信号_6624441913944b6电子束f9450b8b36c91af_1 . . . . "96-103" . “形式方面计算”。 “形式方面计算”。 "16" . "2" . "2004"^^. “dblp记录'journals/fac/Barua04'的RDF数据的出处信息”。 . . . “2022-05-09T16:20:12+0200”。