creators_name: Jones, C. B.
creators_name: Lovert, M. J.
type: monograph
datestamp: 2011-01-31 17:19:22
lastmod: 2011-01-31 17:19:22
metadata_visibility: show
title: Semantic Models for a Logic of Partial Functions
ispublished: pub
subjects: deploy_method_proof
full_text_status: public
monograph_type: technical_report
date: 2010-09
publisher: Newcastle University 
id_number: CS-TR-1220
institution: Newcastle University
citation:   Jones, C. B. and Lovert, M. J.  (2010) Semantic Models for a Logic of Partial Functions.  Technical Report. Newcastle University .     
document_url: http://deploy-eprints.ecs.soton.ac.uk/281/1/1220.pdf