On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics ℒ, ℒ.
CADE. 2023 S. 419 - 437
Erscheinungsjahr: 2023
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-031-38499-8_24
Geprüft | Bibliothek |
Autoren
Peuter, Dennis (Autor)
Sofronie-Stokkermans, Viorica (Autor)
Thunert, Sebastian (Autor)