A Data Symmetry Reduction Technique for Temporal-epistemic Logic
2012 ◽
Vol 376
(26-27)
◽
pp. 1966-1969
◽
2010 ◽
Vol 130
(5)
◽
pp. 479-480
2015 ◽
Vol 03
(06)
◽
pp. 5083-5089
2010 ◽
Vol E93-B
(7)
◽
pp. 1788-1796
◽
Keyword(s):