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
Issue1-2, part I
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