title: Digital Preservation & Emulation: from theory to practice
abstract: This paper considers the use of emulation for digital preservation. After describing the theoretical background provided by mathematical logic, the paper moves on to consider practical issues in the use of emulation for digital preservation.