Detalhes do Documento

Horn filter pairs and Craig interpolation property

Autor(es): Pinto, Darllan Conceição

Data: 2019

Origem: Oasisbr

Assunto(s): LÓGICA ALGÉBRICA; LÓGICA ALGÉBRICA; LÓGICA ALGÉBRICA


Tipo de Documento Outro
Idioma Inglês
facebook logo  linkedin logo  twitter logo 
mendeley logo

Documentos Relacionados

Algebraizing higher-order logics

Mariano, Hugo Luiz

mais

Data: 2019

Alguns apontamentos sobre multi-álgebra universal

Mariano, Hugo Luiz

mais

Data: 2019