Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Jung, JC, Papacchini, F ORCID: 0000-0002-0310-7378, Wolter, F ORCID: 0000-0002-4470-606X and Zakharyaschev, M (2019) Model comparison games for horn description logics. In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019-6-24 - 2019-6-27, Vancouver.

This list was generated on Mon Apr 22 14:05:48 2024 BST.