Publications by Matthew Lovert - ePrints

Newcastle Authors	Title	Year
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Revising basic theorem proving algorithms to cope with the logic of partial functions	2014
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Revising Basic Theorem Proving Algorithms to Cope with the Logic of Partial Functions	2014
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	A Semantic Analysis of Logics that Cope with Partial Terms	2012
Emeritus Professor Cliff Jones Matthew Lovert Dr Jason Steggles	Towards a Mechanisation of a Logic that Copes with Partial Terms	2012
Emeritus Professor Cliff Jones Matthew Lovert	Semantic Models for a Logic of Partial Functions	2011
Emeritus Professor Cliff Jones Matthew Lovert	Semantic Models for a Logic of Partial Functions	2010