Luis Aguirre

Luis Aguirre

Universidad Mesoamericana Oaxaca - Oaxaca / Mexico
Engineering & Technology / Computer Science
AD Scientific Index ID: 5766149
Oaxaca Mesoamerican University
person_outline Luis Aguirre's MOST POPULAR ARTICLES
1-) Conditional narrowing modulo SMT and axioms Proceedings of the 19th International Symposium on Principles and Practice …, 2017
2-) Conditional narrowing modulo in rewriting logic and Maude International Workshop on Rewriting Logic and its Applications, 80-96, 2014
3-) Sentence-normalized conditional narrowing modulo in rewriting logic and maude Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015
4-) Strategies in conditional narrowing modulo SMT plus axioms Analysis, Verification and Transformation for Declarative Programming and …, 2023
5-) Conditional Narrowing Modulo SMT Plus AxiomsL Aguirre, N Martí-Oliet, M Palomino, I Pita2017