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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.