CoDE Publications CoDE Publications
IRIDIA Publications IRIDIA Publications
SMG Publications
WIT Publications
WIT Publications
SMG Publications
Home People Research Activities Publications Teaching Resources
By Class By Topic By Year Technical Reports
By Class By Topic By Year Technical Reports
login
G. H. L. Fletcher, M. Gyssens, D. Leinders, J. Van den Bussche, D. Van Gucht, and S. Vansummeren. Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. Journal of Logic and Computation, 25(3):549-580, 2015.

@article{FleGysLei-etal2015b:article,
  author = {George H. L. Fletcher and M. Gyssens and Dirk Leinders and
            Van den Bussche, Jan and Van Gucht, Dirk and Stijn Vansummeren},
  title = {Similarity and bisimilarity notions appropriate for characterizing
           indistinguishability in fragments of the calculus of relations},
  year = {2015},
  journal = {Journal of Logic and Computation},
  volume = {25},
  number = {3},
  pages = {549--580},
  doi = {http://dx.doi.org/10.1093/logcom/exu018}
}

Updated: 2017-03-27