© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Typed Norms for Typed Logic Programs
Jon Martin and Andy King
In J. Gallagher, editor, Logic Program Synthesis and Transformation, volume 1207 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, August 1997. Download publication 182 kbytes (PostScript)Bibtex Record
@inproceedings{511, author = {Jon Martin and Andy King}, title = {{Typed Norms for Typed Logic Programs}}, month = {August}, year = {1997}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1997/511}, booktitle = {Logic Program Synthesis and Transformation}, publisher = {Springer-Verlag}, refereed = {yes}, series = {Lecture Notes in Computer Science}, volume = {1207}, editor = {J. Gallagher}, }