Comments on: Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints

Comments on: Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints https://www.coalg.org/tease-lp/2020/certified-semantics-for-disequality-constraints/ TEASE-LP, 28 and 29 May 2020, Virtual Event Mon, 01 Jun 2020 17:24:18 +0000 hourly 1 https://wordpress.org/?v=6.1.1