Typed Norms for Typed Logic Programs


Martin, J. C., King, A. M. and Soper, P. J., (1996) Typed Norms for Typed Logic Programs Gallagher, J. (ed.) At Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207. , pp. 224-238.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Additional Information: Address: Stockholm, Sweden
Venue - Dates: Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207, 1996-08-01
Organisations: Electronics & Computer Science
ePrint ID: 250610
Date :
Date Event
August 1996Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250610

Actions (login required)

View Item View Item