Um Método de Tableaux para o Cálculo Lambek baseado em Caracterização por Matrizes
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
CALCULO LAMBEK
-
Caracterização por Matrizes
-
Cálculo Lambek
-
Método Tableaux
-
Método de Caracterização por Matrizes
-
Método de Tableaux
Identidade
identificador BrCris
-
ac05831215f1b423aaf329b09eff0648
identificador Capes
-
20024031003010046P4-Publication