Conference Papers
Year : 2021
Théo Ducros : Connect in order to contact the contributor
https://hal.science/hal-03353110
Submitted on : Thursday, September 23, 2021-5:28:42 PM
Last modification on : Tuesday, April 18, 2023-10:00:05 AM
Dates and versions
Identifiers
- HAL Id : hal-03353110 , version 1
Cite
Théo Ducros, Marinette Bouet, Farouk Toumani. Weak-Subsumption in the EL-Description Logic with Refreshing Variables. 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia. ⟨hal-03353110⟩
Collections
46
View
0
Download