Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) When is query inseparability for ALC Ontologies decidable? CEUR Workshop Proceedings 1577 , ISSN 1613-0073.