van Ditmarsch Hans

Публикации в базе данных Math-Net.Ru

1. Subset space logic with arbitrary announcements
   
   Lecture Notes in Comput. Sci., 7750 (2013),  233–244