On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Σι, Σι+
Brigitte Pientka; Cesare Tinelli (Hrsg). Automated Deduction CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Cham: Springer Nature Switzerland 2023 S. 419 - 437
Erscheinungsjahr: 2023
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-031-38499-8_24
| Geprüft: | Bibliothek |
