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 and Applied Science > Electronics and Computer Science |
| Item ID: | 250610 |
| Date Deposited: | 14 Jun 1999 |
| Last Modified: | 02 Mar 2012 14:01 |
| Contributors: | Martin, J. C. (Author) King, A. M. (Author) Soper, P. J. (Author) Gallagher, J. (Editor) |
| Date: | August 1996 |
| Additional Information: | Address: Stockholm, Sweden |
| Status: | Published |
| Publisher: | Springer-Verlag, Berlin |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/250610 |
Actions (login required)
 |
View Item |
