Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler. Monadic Reasoning using Weak Completion Semantics. In Steffen Hölldobler, Andrey Malikov, Christoph Wernhard, editors, YSIP2 - Proceedings of the Second Young Scientist's International Workshop on Trends in Information Processing, Dombai, Russian Federation, May 16-20, 2017. Volume 1837 of CEUR Workshop Proceedings, pages 45-54, CEUR-WS.org, 2017. [doi]
Abstract is missing.