Bilal Said. Graph rewriting for model construction in modal logic. (Réécriture de graphes pour la construction de modèles en logique modale). PhD thesis, Paul Sabatier University, Toulouse, France, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.