alphabetic list of serialssubject list of serialsserials search author indexsubject index
Library collection

Database : article
Search on : BARCENAS, EVERARDO [Author]
References found : 7 [refine]
Displaying: 1 .. 7   in format [ISO 690]

page 1 of 1

   1 / 7
select
to print
 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
    · abstract in english    · text in english

   2 / 7
select
to print
 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
    · abstract in english    · text in english

   3 / 7
select
to print
 Bárcenas, Everardo et al. Presburger Constraints in Trees. Comp. y Sist., Mar 2020, vol.24, no.1, p.281-303. ISSN 1405-5546
    · abstract in english    · text in english

   4 / 7
select
to print
 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
    · abstract in english    · text in english

   5 / 7
select
to print
 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
    · abstract in english    · text in english

   6 / 7
select
to print
 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
    · abstract in english    · text in english

   7 / 7
select
to print
 Bárcenas, Everardo. A Counting Logic for Trees. Comp. y Sist., June 2015, vol.19, no.2, p.407-422. ISSN 1405-5546
    · abstract in english    · text in english

page 1 of 1
   


Refine the search
  Database : article Advanced form   
Search for : Free form    Basic form

    Search in field  
1  
2
3
 
           



Search engine: iAH powered by WWWISIS

BIREME/PAHO/WHO - Latin American and Caribbean Center on Health Sciences Information