title: Semantic Models for a Logic of Partial Functions
creator: Jones, C. B.
creator: Lovert, M. J.
subject: Proof and model checking
publisher: Newcastle University 
date: 2010-09
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/281/1/1220.pdf
identifier:   Jones, C. B. and Lovert, M. J.  (2010) Semantic Models for a Logic of Partial Functions.  Technical Report. Newcastle University .     
relation: http://deploy-eprints.ecs.soton.ac.uk/281/