PaperMetrixEvidence-aware discovery
TR
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Théo Ducros

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. Reasoning in EL-Description Logic with Refreshing Variables

    2021 · HAL Portal Artxiker (Hindustan Aeronautics Limited (India))

    International audience