Vol. 15 No. 1 (2015)

Reconciling first-order logic to algebra
(Walter Carnielli, Hugo Luiz Mariano, Mariana Matulovic)

Published: 2017-10-19