On the Positive Calculus of Relations with Transitive Closure Damien Pous Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP

First Page		Document Content
Date: 2018-02-20 09:04:32		On the Positive Calculus of Relations with Transitive Closure Damien Pous Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP Add to Reading List Source URL: drops.dagstuhl.de Download Document from Source Website File Size: 508,30 KB Share Document on Facebook