Search results for: Cristina Borralleras
Clinical Genetics > 101 > 5-6 > 481 - 493
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Termination > 531-547
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 8. Termination Analysis and Constraint Solving > 294-305
Lecture Notes in Computer Science > Rewriting, Computation and Proof > Rewriting Foundations > 28-43
Molecular Brain > 2016 > 9 > 1 > 1-12
Journal of Automated Reasoning > 2012 > 48 > 1 > 107-131