Pierre Kimmel. Extensions modales des logiques de ressources: expressivité et calculs. (Modal extensions of resource logics: expressivity and calculi). PhD thesis, University of Lorraine, Nancy, France, 2018. [doi]
@phdthesis{hal-12202,
title = {Extensions modales des logiques de ressources: expressivité et calculs. (Modal extensions of resource logics: expressivity and calculi)},
author = {Pierre Kimmel},
year = {2018},
url = {https://tel.archives-ouvertes.fr/tel-02096099},
researchr = {https://researchr.org/publication/hal-12202},
cites = {0},
citedby = {0},
school = {University of Lorraine, Nancy, France},
}