Search results for: João Rasga
Journal of Automated Reasoning > 2018 > 60 > 2 > 221-236
Logica Universalis > 2014 > 8 > 3-4 > 423-446
Mathematical Logic Quarterly > 59 > 4-5 > 286 - 302
Studia Logica > 2012 > 100 > 3 > 545-581
Annals of Pure and Applied Logic > 2007 > 149 > 1-3 > 81-99