Search results for: Christopher Lynch
IUBMB Life > 75 > 11 > 926 - 940
Acta Neurologica Scandinavica > 143 > 2 > 140 - 145
Muscle & Nerve > 58 > 4 > 509 - 516
Journal of Dentistry > 2017 > 59 > C > 62-67
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 231-245
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 13. Tableaux and First-Order Systems > 476-491
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 2. Combinations and Extensions > 35-50