Typed Norms for Typed Logic Programs

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


Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: Address: Stockholm, Sweden
ISBNs: 3540627189
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250610
Accepted Date and Publication Date:
August 1996Published
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250610

Actions (login required)

View Item View Item