Colección de la biblioteca
Base de datos :
article
Búsqueda :
BARCENAS, EVERARDO [Autor]
Referencias encontradas :
7
[
refinar
]
Mostrando:
1 .. 7
en el formato [
ISO 690
]
página 1 de 1
1 / 7
selecciona
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
·
resumen en inglés
·
texto en inglés
2 / 7
selecciona
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
·
resumen en inglés
·
texto en inglés
3 / 7
selecciona
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
·
resumen en inglés
·
texto en inglés
4 / 7
selecciona
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
·
resumen en inglés
·
texto en inglés
5 / 7
selecciona
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
·
resumen en inglés
·
texto en inglés
6 / 7
selecciona
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
·
resumen en inglés
·
texto en inglés
7 / 7
selecciona
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
·
resumen en inglés
·
texto en inglés
página 1 de 1
Refinar la búsqueda
Base de datos :
article
Formulario avanzado
Buscar por :
Formulario libre
Formulario básico
Buscar
en el campo
1
Todos los indices
Palabras del título
Autor
Materia
Resumen
Año de publicación
2
and
or
and not
Todos los indices
Palabras del título
Autor
Materia
Resumen
Año de publicación
3
and
or
and not
Todos los indices
Palabras del título
Autor
Materia
Resumen
Año de publicación
Search engine:
iAH
powered by
WWWISIS
BIREME/OPS/OMS - Centro Latinoamericano y del Caribe de Información en Ciencias de la Salud