default search action

combined dblp search
author search
venue search
publication search

ask others

11th LANMR 2018 / 12th LANMR 2019: Puebla, Mexico - Selected Papers

> Home > Conferences and Workshops > LANMR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/2019s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/2019s
Pilar Pozos Parra, José Raymundo Marcial-Romero:
Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019. Electronic Notes in Theoretical Computer Science 354, Elsevier 2020
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/ParraM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/ParraM19
Pilar Pozos Parra, José Raymundo Marcial-Romero:
Preface. 1-2
- 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. 3-16
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/Castro-Manzano19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/Castro-Manzano19a
José Martín Castro-Manzano:
Murphree's Numerical Term Logic Tableaux. 17-28
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lanmr/Everardo019a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/Everardo019a
Flavio Everardo, Mauricio Osorio:
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. 29-44
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/PonceMR019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/PonceMR019
Angélica Guzmán Ponce, José Raymundo Marcial-Romero, Rosa María Valdovinos Rosas, J. Salvador Sánchez:
Weighted Complete Graphs for Condensing Data. 45-60
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/Hernandez-Tello19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/Hernandez-Tello19a
Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio:
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case. 61-74
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/Lopez-RamirezGL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/Lopez-RamirezGL19
Cristina López-Ramírez, Jorge Eduardo Gutiérrez-Gómez, Guillermo De Ita Luna:
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs. 75-89
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/LunaLIG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/LunaLIG19
Guillermo De Ita Luna, Cristina López-Ramírez, Ana E. De Ita-Varela, Jorge Eduardo Gutiérrez-Gómez:
A Heuristic for the Coloring of Planar Graphs. 91-105
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/Miranda-PereaGL19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/Miranda-PereaGL19a
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo:
On Interactive Proof-Search for Constructive Modal Necessity. 107-127
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/NietoDMHP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/NietoDMHP19
María Auxilio Medina Nieto, Delia Arrieta Díaz, Jorge de la Calleja Mora, Laura Zacatzontetl Hernández, Marilú Zacatelco Pérez:
An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository. 129-139
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/0001C19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/0001C19a
Mauricio Osorio, José Luis Carballido Carranza:
An Extension of the Stable Semantics via Lukasiewicz Logic. 141-155
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/0001Z19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/0001Z19a
Mauricio Osorio, Claudia Zepeda:
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts. 157-170
- view
  authority control:
- export record
  dblp key:
  - conf/lanmr/PulidoOG19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/PulidoOG19a
Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca:
Gradual Typing Using Union Typing With Records. 171-186

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.