Matthew J. Lovert
4 published titles
Semantic models for a logic of partial functions
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
Towards a mechanisation of a logic that copes with partial terms
(Contributor)
1 edition
- Computing Science, Newcastle University
- 2012
- Details
A semantic analysis of logics that cope with partial terms
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2012
- Details
Revising basic theorem proving algorithms to cope with the logic of partial functions
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2014
- Details
