DMCA

Hybrid Logic with the Difference Modality for Generalisations of Graphs

by Robert S. R , Myers Dirk Pattinson