"281","Semantic Models for a Logic of Partial Functions","","http://deploy-eprints.ecs.soton.ac.uk/281/","Jones, C. B. and Lovert, M. J.","UNSPECIFIED","       <span class=\"person_name\">Jones, C. B.</span> and <span class=\"person_name\">Lovert, M. J.</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/281/\"><em>Semantic Models for a Logic of Partial Functions.</em></a>       Technical Report.     Newcastle University .           ","","2010-09"