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.

Download

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
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Publisher: Springer-Verlag, Berlin
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250610

Actions (login required)

View Item View Item