Extensions modales des logiques de ressources: expressivité et calculs. (Modal extensions of resource logics: expressivity and calculi)

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]

Abstract

Abstract is missing.