School of Chemistry, University of Bristol, E-mail: [email protected]; chris.wil † Electronic supplementary information procedures and characterisation data for and structural statistics for derivatised A DOI: 10.1039/c5sc03864b ‡ Current address: CAS Key Laboratory Systems, Wuhan Institute of Physics and of Sciences, Wuhan, Hubei Province 4300 § Current address: Fyeld Business & Res CM...

Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g. simultaneous from sequential reduction. Proof terms for finitary, first-order, left-linear term rewriting are described in [15], ch. 8. In a previous work [12] we defined an extension of the finitary proof-term formalism, that allows to des...

Ataxin-3 is the protein responsible for the neurodegenerative polyglutamine disease Spinocerebellar ataxia type 3. Full structural characterisation of ataxin-3 is required to aid in understanding the mechanism of disease. Despite extensive study, little is known about the conformational properties of the full-length protein, in either its non-expanded healthy or expanded pathogenic forms, parti...