Gravell, A. M. and Pratten, C. H. (1998) A Prototype Generic Proof Tool Supporting the Embedding of Formal Notations. Grundy, J. and Newey, M. (eds.) Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings. pp. 63-72 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: October 1998
Additional Information:
Address: Canberra, Australia
Venue - Dates:
Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings, 1998-09-30
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250516
URI: http://eprints.soton.ac.uk/id/eprint/250516
ISBN: ISBN 0-7315-4800-0
PURE UUID: a8ef0448-af24-4c61-a544-45a21add12dc
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 10 Dec 2021 20:09
Export record
Contributors
Author:
A. M. Gravell
Author:
C. H. Pratten
Editor:
J. Grundy
Editor:
M. Newey
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.