Leibniz International Proceedings in Informatics, ‎1868-8969

Journal

Publications

  1. Published

    Open bar - a Brouwerian intuitionistic logic with a pinch of excluded middle

    Vincent Rahli, 13 Jan 2021, In: Leibniz International Proceedings in Informatics. 183, p. 11:1-11:23

    Research output: Contribution to journalConference articlepeer-review