Search results for: Mark Reynolds
The VLDB Journal > 2019 > 28 > 5 > 623-648
Pediatric Blood & Cancer > 65 > 10 > n/a - n/a
World Wide Web > 2019 > 22 > 6 > 2883-2899
Biological Reviews > 93 > 1 > 284 - 305
Journal of Applied Logic > 2017 > 21 > C > 24-56
Annals of Mathematics and Artificial Intelligence > 2017 > 80 > 3-4 > 317-364
Computers & Chemical Engineering > 2017 > 99 > C > 314-324
Theoretical Computer Science > 2017 > 665 > C > 87-104
Defence Technology > 2016 > 12 > 3 > 255-262
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 324-340
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 193-205
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 384-395