Search results for: Mauricio Ayala-Rincon
Discrete Applied Mathematics > 2018 > 235 > C > 59-80
Electronic Notes in Theoretical Computer Science > 2017 > 332 > C > 21-38
Theoretical Computer Science > 2017 > 672 > C > 64-100
Electronic Notes in Theoretical Computer Science > 2016 > 324 > C > 107-122
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 57-74
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 39-56
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 235-251
Journal of Automated Reasoning > 2017 > 58 > 2 > 231-251
Lecture Notes in Computer Science > Advances in Bioinformatics and Computational Biology > Extended Abstracts > 210-213
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 433-448