RUS  ENG
Full version
SEMINARS

Colloquium of the Faculty of Computer Science
March 15, 2016 18:10, Moscow


Decidability of Conjunctive Queries for Description Logics with Counting, Inverses and Nominals

S. Rudolph


https://www.youtube.com/watch?v=1ZJH3AItiNc


© Steklov Math. Inst. of RAS, 2024