Search results for: Guillem Godoy
Lecture Notes in Computer Science > Computer Science Logic > Implicit Computational Complexity and Rewriting > 541-556
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 230-245
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 7. Induction, Rewriting, and Polymorphism > 247-262
Lecture Notes in Computer Science > Automata, Languages and Programming > Specification and Deduction > 951-962
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 127-141
Information Processing Letters > 2014 > 114 > 3 > 85-93
Journal of Automated Reasoning > 2013 > 51 > 3 > 281-324
Journal of Automated Reasoning > 2013 > 51 > 4 > 371-400