Conditional narrowing modulo in rewriting logic and Maude L Aguirre, N Martí-Oliet, M Palomino, I Pita International Workshop on Rewriting Logic and its Applications, 80-96, 2014 | 8 | 2014 |
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 | 5 | 2017 |
Sentence-normalized conditional narrowing modulo in rewriting logic and maude L Aguirre, N Martí-Oliet, M Palomino, I Pita Logic, Rewriting, and Concurrency, 48-71, 2015 | 5 | 2015 |
Conditional Narrowing Modulo SMT Plus Axioms L Aguirre, N Martí-Oliet, M Palomino, I Pita | | 2017 |