CSV
publication icon
Nalon C (2023) Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic in Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
publication icon
Beckett A (2021) The relationship between gas and galaxies at z  < 1 using the Q0107 quasar triplet in Monthly Notices of the Royal Astronomical Society
publication icon
Drouhin P (2015) A Copper-Mediated Oxidative Coupling Route to 3 H - and 1 H -Indoles from N -Aryl-enamines in European Journal of Organic Chemistry