Detalhes do Documento

The decidability of a fragment of BB'IW-logic

Autor(es): Silva, Paulo José da Silva e

Data: 2004

Origem: Oasisbr

Assunto(s): LÓGICA MATEMÁTICA; LÓGICA MATEMÁTICA; LÓGICA MATEMÁTICA


Tipo de Documento Artigo científico
Idioma Inglês
facebook logo  linkedin logo  twitter logo 
mendeley logo