Semantic Models for a Logic of Partial Functions

  1. Lookup NU author(s)
  2. Professor Cliff Jones
  3. Matthew Lovert
Author(s)Jones CB, Lovert MJ
Publication type Article
JournalInternational Journal of Software and Informatics
Year2011
Volume5
Issue1-2, part I
Pages55-76
ISSN (print)1673-7288
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherKexue Chubanshe
Actions    Link to this publication