Nominal Logic Programming. Cheney, J. & Urban, C. CoRR, 2006. Link bibtex @article{ DBLP:journals/corr/abs-cs-0609062,
author = {James Cheney and Christian Urban},
title = {Nominal Logic Programming},
journal = {CoRR},
volume = {abs/cs/0609062},
ee = {http://arxiv.org/abs/cs/0609062} ,
year = {2006}
}
Downloads: 0
{"_id":{"_str":"5200019ed40bcbb041000477"},"__v":12,"authorIDs":["545953d8b43425b77200048b","545a5580b43425b772000dfd"],"author_short":["Cheney, J.","Urban, C."],"bibbaseid":"cheney-urban-nominallogicprogramming-2006","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["James"],"propositions":[],"lastnames":["Cheney"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Urban"],"suffixes":[]}],"title":"Nominal Logic Programming","journal":"CoRR","volume":"abs/cs/0609062","ee":"http://arxiv.org/abs/cs/0609062","year":"2006","bibtex":"@article{ DBLP:journals/corr/abs-cs-0609062,\n author = {James Cheney and Christian Urban},\n title = {Nominal Logic Programming},\n journal = {CoRR},\n volume = {abs/cs/0609062},\n ee = {http://arxiv.org/abs/cs/0609062} ,\n year = {2006}\n}\n\n\n","author_short":["Cheney, J.","Urban, C."],"key":"DBLP:journals/corr/abs-cs-0609062","id":"DBLP:journals/corr/abs-cs-0609062","bibbaseid":"cheney-urban-nominallogicprogramming-2006","role":"author","urls":{"Link":"http://arxiv.org/abs/cs/0609062"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://data.bibbase.org/journal/corr/?format=bibtex","downloads":0,"keywords":[],"search_terms":["nominal","logic","programming","cheney","urban"],"title":"Nominal Logic Programming","title_words":["nominal","logic","programming"],"year":2006,"dataSources":["R48AGbNE2CSfNXoxp"]}