Wolter Frank

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

1. Islands of tractability for relational constraints: towards dichotomy results for the description logic $\mathcal{EL}$
   Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
   24 августа 2010 г. 10:50