Browsing publications by Matthew Lovert

Newcastle Authors	Title	Year
Professor Cliff Jones Matthew Lovert Dr Jason Steggles	A Semantic Analysis of Logics that Cope with Partial Terms	2012
Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Towards a Mechanisation of a Logic that Copes with Partial Terms	2012
Professor Cliff Jones Matthew Lovert	Semantic Models for a Logic of Partial Functions	2011
Professor Cliff Jones Matthew Lovert	Semantic Models for a Logic of Partial Functions	2010

Newcastle University Library, NE2 4HQ, United Kingdom. Tel: 0044 (191) 222 7657
[Web Team] [ePrints admin]
©2011 Newcastle University Library