( en | de | ru )

 

Disambiguation of "Velázquez-Mena, Alejandro"

Author of the publication

copydeleteadd this publication to your clipboard
A Note on Constructive Interpolation for the Multi-Modal Logic Km.

, , , and . LANMR (Selected Papers), volume 354 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alejandro Mena Núñez

Miguel Toledo Velázquez

Francisco Jesús Velázquez

Eduardo Patricio Velázquez Patiño

Natalie Mena

 

Other publications of authors with the same name

Minería de datos centrada en el usuario para el análisis de la supervivencia y mortalidad de casos de cáncer de mama en mujeres de origen mexicano., , , and . Res. Comput. Sci., (2016)Mu-Calculus Satisfiability with Arithmetic Constraints., , , , and . Program. Comput. Softw., 46 (8): 503-510 (2020)Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm., , , , and . Program. Comput. Softw., 46 (8): 652-660 (2020)A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence., , , , and . Res. Comput. Sci., 149 (11): 115-124 (2020)Craig interpolation on the logic of knowledge., , , and . LANMR, volume 2264 of CEUR Workshop Proceedings, page 15-24. CEUR-WS.org, (2018)A Note on Constructive Interpolation for the Multi-Modal Logic Km., , , and . LANMR (Selected Papers), volume 354 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2019)Análisis del logro académico de estudiantes en el nivel medio superior a través de minería de datos centrada en el usuario., , , and . Res. Comput. Sci., (2016)Database Management System Verification with Separation Logics., , , , and . Program. Comput. Softw., 47 (8): 654-672 (2021)Static Reception Results of DRM+ Field Trials in VHF Band II in Brazil., , , , , and . IEEE Trans. Broadcast., 59 (3): 422-431 (2013)