Follow
Luis Aguirre
Title
Cited by
Cited by
Year
Conditional narrowing modulo SMT and axioms
L Aguirre, N Martí-Oliet, M Palomino, I Pita
Proceedings of the 19th International Symposium on Principles and Practice …, 2017
82017
Conditional narrowing modulo in rewriting logic and Maude
L Aguirre, N Martí-Oliet, M Palomino, I Pita
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014
82014
Sentence-normalized conditional narrowing modulo in rewriting logic and maude
L Aguirre, N Martí-Oliet, M Palomino, I Pita
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015
62015
Strategies in conditional narrowing modulo SMT plus axioms
L Aguirre, N Martí-Oliet, M Palomino, I Pita
Analysis, Verification and Transformation for Declarative Programming and …, 2023
22023
Conditional Narrowing Modulo SMT Plus Axioms
L Aguirre, N Martí-Oliet, M Palomino, I Pita
2017
The system can't perform the operation now. Try again later.
Articles 1–5