Semantic models for a logic of partial functions /
Jones, Cliff B.
Lovert, Matthew J.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
c2010.
Title from cover.
"August 2010".