A Tactic Calculus - Abridged version

Martin, A. P., Gardiner, P. H. B. and Woodcock, J. C. P. (1996) A Tactic Calculus - Abridged version. Formal Aspects of Computing, 8, 479-489.

Record type: Article

This record has no associated files available for download.

More information

Published date: 1996

Organisations: Electronics & Computer Science

Local EPrints ID: 250612

URI: http://eprints.soton.ac.uk/id/eprint/250612

PURE UUID: 24aab83b-d8f0-4c81-8e7b-8c245a5950b6

Date deposited: 14 Jun 1999

Last modified: 08 Jan 2022 11:44

Author: A. P. Martin

Author: P. H. B. Gardiner

Author: J. C. P. Woodcock

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.