Matthew J. Lovert

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Semantic Analysis

Theorem Proving

Natural Language Understanding

Proof Procedure

Top Venues

Sci. Comput. Program.

University of Newcastle upon Tyne, UK (PHD)

Education History

University of Newcastle upon Tyne, UK

PHD

Publications

Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
Revising basic theorem proving algorithms to cope with the logic of partial functions. Sci. Comput. Program. 94 (2014)
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
A Semantic Analysis of Logics That Cope with Partial Terms. ABZ (2012)
Cliff B. Jones, Matthew J. Lovert
Semantic Models for a Logic of Partial Functions. Int. J. Softw. Informatics 5 (1-2) (2011)