Martin, J. C., King, A. M. and Soper, P. J. (1996) Typed Norms for Typed Logic Programs. Gallagher, J. (ed.) Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207. pp. 224-238 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: August 1996
Additional Information:
Address: Stockholm, Sweden
Venue - Dates:
Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207, 1996-07-31
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250610
URI: http://eprints.soton.ac.uk/id/eprint/250610
ISBN: ISBN 3-540-62718-9
PURE UUID: 3042c9b4-5729-4ed1-a5d0-ed2533223bfd
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 10 Dec 2021 20:10
Export record
Contributors
Author:
J. C. Martin
Author:
A. M. King
Author:
P. J. Soper
Editor:
J. Gallagher
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.