Completeness and Herbrand theorems for nominal logic. Cheney, J. J. Symb. Log., 71(1):299-320, 2006. Link bibtex @article{ DBLP:journals/jsyml/Cheney06,
author = {James Cheney},
title = {Completeness and Herbrand theorems for nominal logic},
journal = {J. Symb. Log.},
pages = {299-320},
volume = {71},
number = {1},
ee = {http://projecteuclid.org/euclid.jsl/1140641176},
year = {2006}
}
Downloads: 0
{"_id":{"_str":"5200019ed40bcbb041000468"},"__v":9,"authorIDs":["545953d8b43425b77200048b"],"author_short":["Cheney, J."],"bibbaseid":"cheney-completenessandherbrandtheoremsfornominallogic-2006","bibdata":{"author":["Cheney, James"],"author_short":["Cheney, J."],"bibtex":"@article{ DBLP:journals/jsyml/Cheney06,\n author = {James Cheney},\n title = {Completeness and Herbrand theorems for nominal logic},\n journal = {J. Symb. Log.},\n pages = {299-320},\n volume = {71},\n number = {1},\n ee = {http://projecteuclid.org/euclid.jsl/1140641176},\n year = {2006}\n}","bibtype":"article","ee":"http://projecteuclid.org/euclid.jsl/1140641176","id":"DBLP:journals/jsyml/Cheney06","journal":"J. Symb. Log.","key":"DBLP:journals/jsyml/Cheney06","number":"1","pages":"299-320","title":"Completeness and Herbrand theorems for nominal logic","type":"article","volume":"71","year":"2006","bibbaseid":"cheney-completenessandherbrandtheoremsfornominallogic-2006","role":"author","urls":{"Link":"http://projecteuclid.org/euclid.jsl/1140641176"},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/journal/j-symb-log/?format=bibtex","downloads":0,"keywords":[],"search_terms":["completeness","herbrand","theorems","nominal","logic","cheney"],"title":"Completeness and Herbrand theorems for nominal logic","title_words":["completeness","herbrand","theorems","nominal","logic"],"year":2006,"dataSources":["qRfk532SGTkYrhJPF"]}