We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete and efficient procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus an...

Thermal motions in supercoiled DNA are studied by Brownian dynamics (BD) simulations with a focus on the site juxtaposition process. It had been shown in the last decade that the BD approach is capable of describing actual times of large-scale DNA motion. The bead model of DNA used here accounts for bending and torsional elasticity as well as the electrostatic repulsion among DNA segments. The ...