Follow
Luis Aguirre
Title
Cited by
Cited by
Year
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
82014
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
52017
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
52015
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–4