L. J. Steggles
4 published titles
Abstracting asynchronous multi-valued networks : an initial investigation
1 edition
- Newcastle University, Computing Science
- 2011
- 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
