Search results for: Carlos Areces
Information and Computation > 2017 > 255 > P2 > 243-261
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 56-68
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 125-141
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 47-61
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Section 2: Contributed Papers > 20-34
Theoretical Computer Science > 2015 > 606 > C > 25-41
Theoretical Computer Science > 2014 > 537 > Complete > 72-86
Journal of Philosophical Logic > 2014 > 43 > 2-3 > 209-238
Annals of Pure and Applied Logic > 2012 > 163 > 7 > 961-972
Electronic Notes in Theoretical Computer Science > 2011 > 278 > Complete > 3-16
Journal of Automated Reasoning > 2011 > 46 > 1 > 1-42
Journal of Applied Logic > 2010 > 8 > 4 > 305-318
Electronic Notes in Theoretical Computer Science > 2009 > 231 > Complete > 309-321