Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Everardo Bárcenas

◀ ▶ joint publications with José de Jesús Lavalle-Martínez

> Home > Persons > Everardo Bárcenas

Publications

2020
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/cys/BarcenasBLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cys/BarcenasBLM20
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle, Guillermo Molero-Castillo:
Presburger Constraints in Trees. Computación y Sistemas 24(1) (2020)
2019
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/BarcenasLMV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/BarcenasLMV19
Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena:
A Note on Constructive Interpolation for the Multi-Modal Logic K_m. LANMR (Selected Papers) 2019: 3-16
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Lavalle-Martinez18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Lavalle-Martinez18
José de Jesús Lavalle-Martínez, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, Héctor Jiménez-Salazar, Ismael Everardo Bárcenas Patiño:
Equivalences Among Polarity Algorithms. Stud Logica 106(2): 371-395 (2018)
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/BarcenasLMV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/BarcenasLMV18
Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena:
Craig interpolation on the logic of knowledge. LANMR 2018: 15-24
2016
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/BarcenasBL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/BarcenasBL16
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle:
Query reasoning on data trees with counting. LANMR 2016: 33-40
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarcenasBL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarcenasBL16
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle:
On Regular Paths with Counting and Data Tests. LANMR (Selected Papers) 2016: 3-16
2015
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/BarcenasBL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/BarcenasBL15
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle:
On the Model Checking of the Graded μ-calculus on Trees. MICAI (1) 2015: 178-189
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BarcenasL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BarcenasL14
Everardo Bárcenas, Jesús Lavalle:
Global Numerical Constraints on Trees. Log. Methods Comput. Sci. 10(2) (2014)
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/BarcenasL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/BarcenasL13
Everardo Bárcenas, Jesús Lavalle:
Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. MICAI (1) 2013: 80-91

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.