Buscar
Mostrando ítems 51-60 de 222
Algebraic semantics for Nelson’s logic S
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2018-01-25)
Besides the better-known Nelson logic (3) and paraconsistent Nelson logic (4), in
Negation and separation of concepts in constructive systems (1959) David Nelson introduced
a logic that he called , with motivations ...
Algebraic laws for process subtyping
(Universidade Federal de Pernambuco, 2014)
A linguagem de especificação algébrica CASL e o Tipo de Dados Intervalos
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2004-04-16)
Transformações no plano
(Instituto de Matemática - UFRJ, 2016)
Transformações no plano
(Instituto de Matemática - UFRJ, 2011)