The Semantics of Nominal Logic Programs. Cheney, J. In Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pages 361-375, 2006. Link bibtex @inproceedings{ DBLP:conf/iclp/Cheney06,
author = {James Cheney},
title = {The Semantics of Nominal Logic Programs},
booktitle = {Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
pages = {361-375},
ee = {http://dx.doi.org/10.1007/11799573_27},
year = {2006}
}
Downloads: 0
{"_id":{"_str":"5200019ed40bcbb041000460"},"__v":10,"authorIDs":["545953d8b43425b77200048b"],"author_short":["Cheney, J."],"bibbaseid":"cheney-thesemanticsofnominallogicprograms-2006","bibdata":{"author":["Cheney, James"],"author_short":["Cheney, J."],"bibtex":"@inproceedings{ DBLP:conf/iclp/Cheney06,\n author = {James Cheney},\n title = {The Semantics of Nominal Logic Programs},\n booktitle = {Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},\n pages = {361-375},\n ee = {http://dx.doi.org/10.1007/11799573_27},\n year = {2006}\n}","bibtype":"inproceedings","booktitle":"Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings","ee":"http://dx.doi.org/10.1007/11799573_27","id":"DBLP:conf/iclp/Cheney06","key":"DBLP:conf/iclp/Cheney06","pages":"361-375","title":"The Semantics of Nominal Logic Programs","type":"inproceedings","year":"2006","bibbaseid":"cheney-thesemanticsofnominallogicprograms-2006","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/11799573_27"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblpcheney_jamesbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["semantics","nominal","logic","programs","cheney"],"title":"The Semantics of Nominal Logic Programs","title_words":["semantics","nominal","logic","programs"],"year":2006,"dataSources":["7y2XqhoFSkmHkdGX3"]}