1 paper
Ana Sokolova, Harald Woracek
In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on…