"Algebras of Relations : from algorithms to formal proofs. (Algèbres ..."

Paul Brunet (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics