A new algebraic semantics for First-Order Logic built with polynomials

Autor(es)
Walter Carnielli
Hugo Mariano
Mariana Matulovic
Créditos
Data

Palestra apresentada durante o evento Trends in Logic XVI - CLE Unicamp -- 12/09/2016-15/09/2016

Video
PUBLICAÇÕES / PUBLICATIONS
CLE"