Search results for: Luis Cruz-Filipe
Journal of Automated Reasoning > 2019 > 63 > 3 > 695-722
Annals of Mathematics and Artificial Intelligence > 2018 > 83 > 3-4 > 213-246
Artificial Intelligence > 2018 > 255 > C > 43-70
Journal of Logical and Algebraic Methods in Programming > 2017 > 88 > C > 26-44
Journal of Computer and System Sciences > 2017 > 84 > C > 185-204
Journal of Automated Reasoning > 2017 > 59 > 4 > 425-454
Formal Aspects of Computing > 2017 > 29 > 3 > 559-579
Journal of Computer and System Sciences > 2016 > 82 > 3 > 551-563
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Logic Extensions > 205-220
Formal Aspects of Computing > 2014 > 26 > 5 > 865-918
Electronic Notes in Theoretical Computer Science > 2006 > 151 > 1 > 75-91