MRG home page · Research · Publications · Projects · Software · People

MRG Publications

Recent publications, from 2000 onwards, are available in the Informatics report series. You can search this series by author. Some MRG members with reports in the series:

Earlier publications are available from these pages:

General note:

If you're searching for a specific paper, you can email the authors for a copy. You might also like to try looking for a cached copy on Research Index, or try the author's homepage.

Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the DReaM Support Team
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.