Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
RALL: Machine-Supported Proofs for Relation Algebra
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
A calculus for graphs with complement
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Automated engineering of relational and algebraic methods in isabelle/hol
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Hi-index | 0.00 |
In this work, we present a diagrammatic system in which diagrams based on graphs represent binary relations and reasoning on binary relations is performed by transformations on diagrams. We proved that if a diagram D1 can be transformed into a diagram D2 using the rules of our system, under a set Σ of hypotheses, then it is intuitionistically true that the relation defined by diagram D1 is a sub-relation of the one defined by diagram D2, under the hypotheses in Σ.