A relation-algebraic approach to simple games, European Journal of Operational Research, vol.210, issue.1, pp.68-80, 2011. ,
DOI : 10.1016/j.ejor.2010.09.006
URL : https://hal.archives-ouvertes.fr/hal-00574767
Cardinality of relations with applications, Discrete Mathematics, vol.339, issue.12, pp.3089-3115, 2016. ,
DOI : 10.1016/j.disc.2016.06.019
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive???transitive closures, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.3, pp.341-358, 2015. ,
DOI : 10.1016/j.jlamp.2014.08.003
Tool-Based Verification of a Relational Vertex Coloring Program, Kahl et al. [18], pp.275-292 ,
DOI : 10.1007/978-3-319-24704-5_17
Cardinality of relations and relational approximation algorithms, Journal of Logical and Algebraic Methods in Programming, vol.85, issue.2, pp.269-286, 2016. ,
DOI : 10.1016/j.jlamp.2015.12.001
On Automated Program Construction and Verification, Mathematics of Program Construction, pp.22-41, 2010. ,
DOI : 10.1007/978-3-642-13321-3_4
Investigating and Computing Bipartitions with Algebraic Means, pp.257-274 ,
DOI : 10.1007/978-3-319-24704-5_16
Canonical Big Operators, TPHOLs, pp.86-101, 2008. ,
DOI : 10.1007/3-540-44659-1_29
URL : https://hal.archives-ouvertes.fr/inria-00331193
Cardinalities of Finite Relations in Coq, Interactive Theorem Proving, ITP 2016, Proceedings, pp.466-474, 2016. ,
DOI : 10.1090/coll/041
URL : https://hal.archives-ouvertes.fr/hal-01441262
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings, Relational and Algebraic Methods in Computer Science, pp.130-145, 2012. ,
DOI : 10.1109/FOCS.2004.40
Computational Social Choice Using Relation Algebra and RelView, Relations and Kleene Algebra in Computer Science, pp.13-28, 2009. ,
DOI : 10.1007/978-3-642-04639-1_2
URL : https://hal.archives-ouvertes.fr/halshs-00493008
Program Verification, 1992. ,
Algebraic Formalisations of Fuzzy Relations and Their Representation Theorems, 1998. ,
Residuated Lattices: An Algebraic Glimpse at Substructural Logics, 2007. ,
Packaging Mathematical Structures, TPHOL, pp.327-342, 2009. ,
DOI : 10.1007/978-3-540-68103-8_11
URL : https://hal.archives-ouvertes.fr/inria-00368403
The Science of Programming, 1987. ,
DOI : 10.1007/978-1-4612-5983-1
On Automating the Calculus of Relations, International Joint Conference Automated Reasoning, pp.50-66, 2008. ,
On the Cardinality of Relations, Relations and Kleene Algebra in Computer Science, pp.251-265, 2006. ,
DOI : 10.1007/11828563_17
A completeness theorem for Kleene algebras and the algebra of regular events, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.366-390, 1994. ,
DOI : 10.1109/LICS.1991.151646
Relation Algebra and KAT in Coq. Website ,
Kleene Algebra with Tests and Coq Tools for while Programs, ITP, pp.180-196, 2013. ,
DOI : 10.1007/978-3-642-39634-2_15
URL : https://hal.archives-ouvertes.fr/hal-00785969
Equivalents of the Axiom of Choice, 1970. ,
Relation algebras: Concept of points and representability, Discrete Mathematics, vol.54, issue.1, pp.83-92, 1985. ,
DOI : 10.1016/0012-365X(85)90064-0
URL : http://doi.org/10.1016/0012-365x(85)90064-0
Relations and Graphs -Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoretical Computer Science, 1993. ,
On the calculus of relations, The Journal of Symbolic Logic, vol.5, issue.03, pp.73-89, 1941. ,
DOI : 10.1007/BF01696781
A Formalization of Set Theory without Variables, volume 41 of Colloquium Publications, 1987. ,
A Lower Bound for the Stability Number of a Simple Graph. Bell Laboratories Technical Memorandum, pp.81-11217, 1981. ,