Search results for: Patrick Blackburn
Topics in Cognitive Science > 12 > 2 > 504 - 534
Computer Speech & Language > 2017 > 45 > C > 536-551
Familial Cancer > 2017 > 16 > 4 > 551-553
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 38-52
Gynecologic Oncology > 2016 > 143 > 1 > 109-112
Lecture Notes in Computer Science > Temporal Logic > 225-237
Lecture Notes in Computer Science > Progress in Artificial Intelligence > Logics and Logic Programming for Artificial Intelligence > 253-260
Journal of Philosophical Logic > 2014 > 43 > 2-3 > 209-238
Electronic Notes in Theoretical Computer Science > 2009 > 231 > Complete > 309-321
Electronic Notes in Theoretical Computer Science > 2009 > 231 > Complete > 21-39