Biblio

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is D and Author is Lutz, Carsten  [Clear All Filters]
0
M. Bienvenu, Lutz, C., and Wolter, F., Deciding FO-Rewritability in EL, in Proc. of International Workshop on Description Logics (DL), Italie.