Matthew J. Lovert

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Revising basic theorem proving algorithms to cope with the logic of partial functions.
Sci. Comput. Program., 2014

2013
On the mechanisation of the logic of partial functions.
PhD thesis, 2013

2012
A Semantic Analysis of Logics That Cope with Partial Terms.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
Semantic Models for a Logic of Partial Functions.
Int. J. Softw. Informatics, 2011


  Loading...