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 in rewriting logic and MaudeL Aguirre, N Martí-Oliet, M Palomino, I PitaInternational Workshop on Rewriting Logic and its Applications, 80-96, 201492014
2-) Conditional narrowing modulo SMT and axiomsL Aguirre, N Martí-Oliet, M Palomino, I PitaProceedings of the 19th International Symposium on Principles and Practice …, 201782017
3-) Sentence-normalized conditional narrowing modulo in rewriting logic and maudeL Aguirre, N Martí-Oliet, M Palomino, I PitaLogic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 201572015
4-) Strategies in conditional narrowing modulo SMT plus axiomsL Aguirre, N Martí-Oliet, M Palomino, I PitaAnalysis, Verification and Transformation for Declarative Programming and …, 202342023
5-) Conditional Narrowing Modulo SMT Plus AxiomsL Aguirre, N Martí-Oliet, M Palomino, I Pita2017