Semantic Models for a Logic of Partial Functions

Jones, C. B. and Lovert, M. J. (2010) Semantic Models for a Logic of Partial Functions. Technical Report. Newcastle University .

Preview

PDF
200Kb

Item Type:	Monograph (Technical Report)
Subjects:	Methodology > Proof and model checking
ID Code:	281
Deposited By:	Prof Cliff Jones
Deposited On:	31 Jan 2011 17:19
Last Modified:	31 Jan 2011 17:19

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.