A Data Symmetry Reduction Technique for Temporal-epistemic Logic

Author(s):  
Mika Cohen ◽  
Mads Dam ◽  
Alessio Lomuscio ◽  
Hongyang Qu
2012 ◽  
Vol 376 (26-27) ◽  
pp. 1966-1969 ◽  
Author(s):  
H. Aratyn ◽  
J.F. Gomes ◽  
A.H. Zimerman

2010 ◽  
Vol 130 (5) ◽  
pp. 479-480
Author(s):  
Takanori Uno ◽  
Kouji Ichikawa ◽  
Yuichi Mabuchi ◽  
Atushi Nakamura

2010 ◽  
Vol E93-B (7) ◽  
pp. 1788-1796 ◽  
Author(s):  
Takanori UNO ◽  
Kouji ICHIKAWA ◽  
Yuichi MABUCHI ◽  
Atsushi NAKAMURA ◽  
Yuji OKAZAKI ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document