Matthew J. Lovert

According to our database, Matthew J. Lovert authored at least 4 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Revising basic theorem proving algorithms to cope with the logic of partial functions.

Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles

Sci. Comput. Program., 2014

2013

On the mechanisation of the logic of partial functions.

Matthew J. Lovert

PhD thesis, 2013

2012

A Semantic Analysis of Logics That Cope with Partial Terms.

Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Semantic Models for a Logic of Partial Functions.

Cliff B. Jones, Matthew J. Lovert

Int. J. Softw. Informatics, 2011