A Sequent Calculus for Nominal Logic. Gabbay, M. & Cheney, J. In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pages 139–148, 2004. IEEE Computer Society. Paper doi bibtex @inproceedings{DBLP:conf/lics/GabbayC04,
author = {Murdoch Gabbay and
James Cheney},
title = {A Sequent Calculus for Nominal Logic},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {139--148},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319608},
doi = {10.1109/LICS.2004.1319608},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/GabbayC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":{"_str":"5200019ed40bcbb041000472"},"__v":10,"authorIDs":["545953d8b43425b77200048b","54597770b43425b7720005a9"],"author_short":["Gabbay, M.","Cheney, J."],"bibbaseid":"gabbay-cheney-asequentcalculusfornominallogic-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Murdoch"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["James"],"propositions":[],"lastnames":["Cheney"],"suffixes":[]}],"title":"A Sequent Calculus for Nominal Logic","booktitle":"19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings","pages":"139–148","publisher":"IEEE Computer Society","year":"2004","url":"https://doi.org/10.1109/LICS.2004.1319608","doi":"10.1109/LICS.2004.1319608","timestamp":"Wed, 16 Oct 2019 14:14:54 +0200","biburl":"https://dblp.org/rec/conf/lics/GabbayC04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/GabbayC04,\n author = {Murdoch Gabbay and\n James Cheney},\n title = {A Sequent Calculus for Nominal Logic},\n booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),\n 14-17 July 2004, Turku, Finland, Proceedings},\n pages = {139--148},\n publisher = {{IEEE} Computer Society},\n year = {2004},\n url = {https://doi.org/10.1109/LICS.2004.1319608},\n doi = {10.1109/LICS.2004.1319608},\n timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},\n biburl = {https://dblp.org/rec/conf/lics/GabbayC04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gabbay, M.","Cheney, J."],"key":"DBLP:conf/lics/GabbayC04","id":"DBLP:conf/lics/GabbayC04","bibbaseid":"gabbay-cheney-asequentcalculusfornominallogic-2004","role":"author","urls":{"Paper":"https://doi.org/10.1109/LICS.2004.1319608"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","downloads":0,"keywords":[],"search_terms":["sequent","calculus","nominal","logic","gabbay","cheney"],"title":"A Sequent Calculus for Nominal Logic","title_words":["sequent","calculus","nominal","logic"],"year":2004,"dataSources":["8fz3gw22LB3CpDrfB"]}