1 paper
Ph. Balbiani, R. Echahed, A. Herzig
We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-o…