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 | 8 | 2017 |
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 | 8 | 2014 |
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 | 6 | 2015 |
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 | 2 | 2023 |
Conditional Narrowing Modulo SMT Plus Axioms L Aguirre, N Martí-Oliet, M Palomino, I Pita | | 2017 |