Search results for: Albert Rubio
Quaternary International > 2017 > 431 > PB > 168-180
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 138-150
Lecture Notes in Computer Science > Automated Reasoning > Saturation-Based Theorem Proving > 107-121
Lecture Notes in Computer Science > Computer Aided Verification > Session 8: Tools – Decision Procedures > 294-298
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 230-245
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 1-14
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