Coleção da biblioteca
Base de dados :
article
Pesquisa :
BARCENAS, EVERARDO [Autor]
Referências encontradas :
7
[
refinar
]
Mostrando:
1 .. 7
no formato [
ISO 690
]
página 1 de 1
1 / 7
seleciona
para imprimir
Pérez-Gaspar, Miguel and Bárcenas, Everardo
On the Algebrization of the Multi-valued Logics CG′
3
and G′
3
.
Comp. y Sist.
, Dec 2021, vol.25, no.4, p.751-759. ISSN 1405-5546
·
resumo em inglês
·
texto em inglês
2 / 7
seleciona
para imprimir
Pérez-Gaspar, Miguel, Borja Macias, Veronica and Bárcenas, Everardo
On the Paraconsistent Logic CG'
3
.
Comp. y Sist.
, June 2021, vol.25, no.2, p.435-445. ISSN 1405-5546
·
resumo em inglês
·
texto em inglês
3 / 7
seleciona
para imprimir
Bárcenas, Everardo et al.
Presburger Constraints in Trees
.
Comp. y Sist.
, Mar 2020, vol.24, no.1, p.281-303. ISSN 1405-5546
·
resumo em inglês
·
texto em inglês
4 / 7
seleciona
para imprimir
Limón, Yensen et al.
Depth-First Reasoning on Trees
.
Comp. y Sist.
, Mar 2018, vol.22, no.1, p.189-201. ISSN 1405-5546
·
resumo em inglês
·
texto em inglês
5 / 7
seleciona
para imprimir
Bárcenas, Everardo et al.
Branching Path Planning with Modal Logics
.
Comp. y Sist.
, Sept 2017, vol.21, no.3, p.407-418. ISSN 1405-5546
·
resumo em inglês
·
texto em inglês
6 / 7
seleciona
para imprimir
Muñoz, Juan Pablo et al.
(Hyper)sequent Calculi for the ALC(S4) Description Logics
.
Comp. y Sist.
, Mar 2016, vol.20, no.1, p.67-79. ISSN 1405-5546
·
resumo em inglês
·
texto em inglês
7 / 7
seleciona
para imprimir
Bárcenas, Everardo.
A Counting Logic for Trees
.
Comp. y Sist.
, June 2015, vol.19, no.2, p.407-422. ISSN 1405-5546
·
resumo em inglês
·
texto em inglês
página 1 de 1
Refinar a pesquisa
Base de dados :
article
Formulário avançado
Pesquisar por :
Formulário livre
Formulário básico
Pesquisar
no campo
1
Todos os índices
Palavras do título
Autor
Assunto
Resumo
Ano de publicação
2
and
or
and not
Todos os índices
Palavras do título
Autor
Assunto
Resumo
Ano de publicação
3
and
or
and not
Todos os índices
Palavras do título
Autor
Assunto
Resumo
Ano de publicação
Search engine:
iAH
powered by
WWWISIS
BIREME/OPAS/OMS - Centro Latino-Americano e do Caribe de Informação em Ciências da Saúde