Sebastian Thunert

According to our database, Sebastian Thunert authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛⁺.

Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert

CoRR, 2023

On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics <i>E</i>ℒ, <i>E</i>ℒ⁺.

Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert

Proceedings of the Automated Deduction - CADE 29, 2023