Search results for: Mateu Villaret
Fundamenta Informaticae > 2022 > Vol. 185, nr 3 > 247--283
Soft Computing > 2019 > 23 > 7 > 2187-2197
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 169-184
Journal of Automated Reasoning > 2017 > 58 > 2 > 293-310
Fuzzy Sets and Systems > 2016 > 292 > C > 32-48
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 3. Short Papers > 300-305
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers, Application Papers > 326-339
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 156-171
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 8. Higher-Order Rewriting and Unification > 400-414
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 311-326
Journal of Automated Reasoning > 2014 > 52 > 2 > 155-190
Constraints > 2013 > 18 > 2 > 202-235