%0 Journal Article %1 journals/ijsi/JonesL11 %A Jones, Cliff B. %A Lovert, Matthew J. %D 2011 %J Int. J. Softw. Informatics %K dblp %N 1-2 %P 55-76 %T Semantic Models for a Logic of Partial Functions. %U http://dblp.uni-trier.de/db/journals/ijsi/ijsi5.html#JonesL11 %V 5

@article{journals/ijsi/JonesL11, added-at = {2020-08-06T00:00:00.000+0200}, author = {Jones, Cliff B. and Lovert, Matthew J.}, biburl = {https://www.bibsonomy.org/bibtex/2e9bd2d8e35230fd7148b5297052146fb/dblp}, ee = {http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i76}, interhash = {4b4fc7f12cde5a7979d0b1c0a2f32697}, intrahash = {e9bd2d8e35230fd7148b5297052146fb}, journal = {Int. J. Softw. Informatics}, keywords = {dblp}, number = {1-2}, pages = {55-76}, timestamp = {2020-08-07T11:45:55.000+0200}, title = {Semantic Models for a Logic of Partial Functions.}, url = {http://dblp.uni-trier.de/db/journals/ijsi/ijsi5.html#JonesL11}, volume = 5, year = 2011 }